Formal Methods for Computer/Communications Protocols and Software - Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - edizione con copertina flessibile
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… Altro …
booklooker.de Syndikat Buchdienst Costi di spedizione: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… Altro …
Dodax.de Nr. 57a0b4ca2c9bc808f72c7aa1 Costi di spedizione: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… Altro …
Dodax.at Nr. 57a0bd7b9e26a008fc4e147b Costi di spedizione:Versandkosten: 0.0 EUR, Lieferzeit: 6 Tage, AT. (EUR 0.00) Details... |
Formal Methods for Computer/Communications Protocols and Software - edizione con copertina flessibile
2012, ISBN: 3659118354
edizione con copertina rigida
Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 LAP Lamber… Altro …
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… Altro …
eBook.de Nr. Costi di spedizione:, , 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 - edizione con copertina flessibile
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… Altro …
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… Altro …
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… Altro …
Formal Methods for Computer/Communications Protocols and Software - edizione con copertina flessibile
2012, ISBN: 3659118354
edizione con copertina rigida
Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 LAP Lamber… Altro …
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… Altro …
Dati bibliografici del miglior libro corrispondente
Informazioni dettagliate del libro - Formal Methods for Computer/Communications Protocols and Software
EAN (ISBN-13): 9783659118357
ISBN (ISBN-10): 3659118354
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2012
Editore: AV Akademikerverlag GmbH & Co. KG.
Libro nella banca dati dal 2009-08-03T12:40:08+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2019-02-05T09:30:36+01:00 (Zurich)
ISBN/EAN: 9783659118357
ISBN - Stili di scrittura alternativi:
3-659-11835-4, 978-3-659-11835-7
Stili di scrittura alternativi e concetti di ricerca simili:
Titolo del libro: communications, computer
< Per archiviare...