Formal Methods for Computer/Communications Protocols and Software - Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Livres de poche
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… Plus…
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… Plus…
Dodax.de Nr. 57a0b4ca2c9bc808f72c7aa1 Frais d'envoiVersandkosten: 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… Plus…
Dodax.at Nr. 57a0bd7b9e26a008fc4e147b Frais d'envoiVersandkosten: 0.0 EUR, Lieferzeit: 6 Tage, AT. (EUR 0.00) Details... |
2012, ISBN: 3659118354
Edition reliée
Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 LAP Lamber… Plus…
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… Plus…
eBook.de Nr. Frais d'envoi, , 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 - Livres de poche
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… Plus…
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… Plus…
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… Plus…
2012, ISBN: 3659118354
Edition reliée
Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 LAP Lamber… Plus…
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… Plus…
Données bibliographiques du meilleur livre correspondant
Informations détaillées sur le livre - Formal Methods for Computer/Communications Protocols and Software
EAN (ISBN-13): 9783659118357
ISBN (ISBN-10): 3659118354
Version reliée
Livre de poche
Date de parution: 2012
Editeur: AV Akademikerverlag GmbH & Co. KG.
Livre dans la base de données depuis 2009-08-03T12:40:08+02:00 (Zurich)
Page de détail modifiée en dernier sur 2019-02-05T09:30:36+01:00 (Zurich)
ISBN/EAN: 3659118354
ISBN - Autres types d'écriture:
3-659-11835-4, 978-3-659-11835-7
Autres types d'écriture et termes associés:
Titre du livre: communications, computer
< pour archiver...