Formal Methods for Computer/Communications Protocols and Software - Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Livro de bolso
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… mais…
booklooker.de Syndikat Buchdienst Custos de envio: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… mais…
Dodax.de Nr. 57a0b4ca2c9bc808f72c7aa1 Custos de envio: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… mais…
Dodax.at Nr. 57a0bd7b9e26a008fc4e147b Custos de envio:Versandkosten: 0.0 EUR, Lieferzeit: 6 Tage, AT. (EUR 0.00) Details... |
2012, ISBN: 3659118354
Edição encadernada
Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 LAP Lamber… mais…
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… mais…
eBook.de Nr. Custos de envio:, , 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 - Livro de bolso
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… mais…
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… mais…
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… mais…
2012, ISBN: 3659118354
Edição encadernada
Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations - Buch, gebundene Ausgabe, 172 S., Beilagen: Paperback, Erschienen: 2012 LAP Lamber… mais…
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… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Formal Methods for Computer/Communications Protocols and Software
EAN (ISBN-13): 9783659118357
ISBN (ISBN-10): 3659118354
Livro de capa dura
Livro de bolso
Ano de publicação: 2012
Editor/Editora: AV Akademikerverlag GmbH & Co. KG.
Livro na base de dados desde 2009-08-03T11:40:08+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2019-02-05T08:30:36+00:00 (Lisbon)
Número ISBN/EAN: 9783659118357
Número ISBN - Ortografia alternativa:
3-659-11835-4, 978-3-659-11835-7
Ortografia alternativa e termos de pesquisa relacionados:
Título do livro: communications, computer
< Para arquivar...