Formal Methods for Computer/Communications Protocols and Software - Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Taschenbuch
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… Mehr…
booklooker.de |
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… Mehr…
Dodax.de Nr. 57a0b4ca2c9bc808f72c7aa1 Versandkosten: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… Mehr…
Dodax.at Nr. 57a0bd7b9e26a008fc4e147b Versandkosten:Versandkosten: 0.0 EUR, Lieferzeit: 6 Tage, AT. (EUR 0.00) Details... |
2012, ISBN: 3659118354
Gebundene Ausgabe
Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 LAP Lamber… Mehr…
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… Mehr…
eBook.de Nr. Versandkosten:, , 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 - Taschenbuch
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… Mehr…
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… Mehr…
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… Mehr…
2012, ISBN: 3659118354
Gebundene Ausgabe
Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 LAP Lamber… Mehr…
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… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Methods for Computer/Communications Protocols and Software
EAN (ISBN-13): 9783659118357
ISBN (ISBN-10): 3659118354
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: AV Akademikerverlag GmbH & Co. KG.
Buch in der Datenbank seit 2009-08-03T12:40:08+02:00 (Zurich)
Detailseite zuletzt geändert am 2019-02-05T09:30:36+01:00 (Zurich)
ISBN/EAN: 3659118354
ISBN - alternative Schreibweisen:
3-659-11835-4, 978-3-659-11835-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: communications, computer
< zum Archiv...