Formal Methods for Computer/Communications Protocols and Software - Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - pocketboek
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… Meer...
booklooker.de Syndikat Buchdienst Verzendingskosten: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… Meer...
Dodax.de Nr. 57a0b4ca2c9bc808f72c7aa1 Verzendingskosten: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… Meer...
Dodax.at Nr. 57a0bd7b9e26a008fc4e147b Verzendingskosten:Versandkosten: 0.0 EUR, Lieferzeit: 6 Tage, AT. (EUR 0.00) Details... |
2012, ISBN: 3659118354
gebonden uitgave
Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 LAP Lamber… Meer...
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… Meer...
eBook.de Nr. Verzendingskosten:, , 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 - pocketboek
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… Meer...
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… Meer...
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… Meer...
2012, ISBN: 3659118354
gebonden uitgave
Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 LAP Lamber… Meer...
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… Meer...
Bibliografische gegevens van het best passende boek
Gedetalleerde informatie over het boek. - Formal Methods for Computer/Communications Protocols and Software
EAN (ISBN-13): 9783659118357
ISBN (ISBN-10): 3659118354
Gebonden uitgave
pocket book
Verschijningsjaar: 2012
Uitgever: AV Akademikerverlag GmbH & Co. KG.
Boek bevindt zich in het datenbestand sinds 2009-08-03T12:40:08+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2019-02-05T09:30:36+01:00 (Amsterdam)
ISBN/EAN: 9783659118357
ISBN - alternatieve schrijfwijzen:
3-659-11835-4, 978-3-659-11835-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Titel van het boek: communications, computer
< naar Archief...