Formal Methods for Computer/Communications Protocols and Software - Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Pasta blanda
2012, ISBN: 9783659118357
[ED: Taschenbuch / Paperback], [PU: LAP Lambert Academic Publishing], This book starts by introducing the different definitions/theorems for semantic equivalence and analysis them proving… Más…
booklooker.de Syndikat Buchdienst Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
ISBN: 9783659118357
This book starts by introducing the different definitions/theorems for semantic equivalence and analysis them proving problems in them all. Then, it develops a sound definition and theory… Más…
Dodax.de Nr. 57a0b4ca2c9bc808f72c7aa1 Gastos de envío:Versandkosten: 0.0 EUR, Lieferzeit: 5 Tage, DE. (EUR 0.00) Details... |
ISBN: 9783659118357
This book starts by introducing the different definitions/theorems for semantic equivalence and analysis them proving problems in them all. Then, it develops a sound definition and theory… Más…
Dodax.at Nr. 57a0bd7b9e26a008fc4e147b Gastos de envío:Versandkosten: 0.0 EUR, Lieferzeit: 6 Tage, AT. (EUR 0.00) Details... |
2012, ISBN: 3659118354
Pasta dura
Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 LAP Lamber… Más…
Buch24.de |
ISBN: 3659118354
Formal Methods for Computer/Communications Protocols and Software ab 68 EURO Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations Medien… Más…
eBook.de Nr. Gastos de envío:, , DE. (EUR 0.00) Details... |
Formal Methods for Computer/Communications Protocols and Software - Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Pasta blanda
2012, ISBN: 9783659118357
[ED: Taschenbuch / Paperback], [PU: LAP Lambert Academic Publishing], This book starts by introducing the different definitions/theorems for semantic equivalence and analysis them proving… Más…
ISBN: 9783659118357
This book starts by introducing the different definitions/theorems for semantic equivalence and analysis them proving problems in them all. Then, it develops a sound definition and theory… Más…
ISBN: 9783659118357
This book starts by introducing the different definitions/theorems for semantic equivalence and analysis them proving problems in them all. Then, it develops a sound definition and theory… Más…
2012, ISBN: 3659118354
Pasta dura
Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 LAP Lamber… Más…
ISBN: 3659118354
Formal Methods for Computer/Communications Protocols and Software ab 68 EURO Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations Medien… Más…
Datos bibliográficos del mejor libro coincidente
Detalles del libro - Formal Methods for Computer/Communications Protocols and Software
EAN (ISBN-13): 9783659118357
ISBN (ISBN-10): 3659118354
Tapa dura
Tapa blanda
Año de publicación: 2012
Editorial: AV Akademikerverlag GmbH & Co. KG.
Libro en la base de datos desde 2009-08-03T05:40:08-05:00 (Mexico City)
Página de detalles modificada por última vez el 2019-02-05T02:30:36-06:00 (Mexico City)
ISBN/EAN: 3659118354
ISBN - escritura alterna:
3-659-11835-4, 978-3-659-11835-7
Mode alterno de escritura y términos de búsqueda relacionados:
Título del libro: communications, computer
< para archivar...