1992, ISBN: 3540562834
[EAN: 9783540562832], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], FORMALSPECIFICATION; FORMALESPEZIFIKATION; MESSAGEPASSING; REAL-TIMESYSTEMS; SAGE; TEMPORALTEMPORALELOGIK; TIME… mais…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540562832
This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two a… mais…
Springer.com Nr. 978-3-540-56283-2. Custos de envio:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651) - Livro de bolso
2008, ISBN: 9783540562832
Springer, Taschenbuch, Auflage: 1992, 180 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9783540562832, 0.27 kg, Hardware & Technik, Computer & Internet, K… mais…
amazon.de Custos de envio:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
ISBN: 9783540562832
*Specifying Message Passing and Time-Critical Systems with Temporal Logic* - Auflage 1992 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Büche… mais…
Hugendubel.de Custos de envio:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science) - Livro de bolso
1992, ISBN: 9783540562832
Springer, 1992-12-17. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1992-12-17, 3
Biblio.co.uk |
1992, ISBN: 3540562834
[EAN: 9783540562832], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], FORMALSPECIFICATION; FORMALESPEZIFIKATION; MESSAGEPASSING; REAL-TIMESYSTEMS; SAGE; TEMPORALTEMPORALELOGIK; TIME… mais…
ISBN: 9783540562832
This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two a… mais…
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651) - Livro de bolso
2008
ISBN: 9783540562832
Springer, Taschenbuch, Auflage: 1992, 180 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 9783540562832, 0.27 kg, Hardware & Technik, Computer & Internet, K… mais…
ISBN: 9783540562832
*Specifying Message Passing and Time-Critical Systems with Temporal Logic* - Auflage 1992 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Büche… mais…
no/na Biblio.co.uk
Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science) - Livro de bolso
1992, ISBN: 9783540562832
Springer, 1992-12-17. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1992-12-17, 3
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science, 651, Band 651)
EAN (ISBN-13): 9783540562832
ISBN (ISBN-10): 3540562834
Livro de bolso
Ano de publicação: 1992
Editor/Editora: Springer
180 Páginas
Peso: 0,281 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-09-11T06:45:20+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-04-16T21:10:51+01:00 (Lisbon)
Número ISBN/EAN: 3540562834
Número ISBN - Ortografia alternativa:
3-540-56283-4, 978-3-540-56283-2
Ortografia alternativa e termos de pesquisa relacionados:
Título do livro: computer systems, passing time, logic computer science, lecture notes computer science, the message, passing through
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9780387562834 Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science) (Koymans, Ron)
< Para arquivar...