2008, ISBN: 9783639000023
[ED: Softcover], [PU: VDM Verlag Dr. Müller / VDM Verlag Dr. Müller e.K.], Software verification is the study of formally proving the correctness of a program with respect to a given spec… Altro …
booklooker.de buecher.de GmbH & Co. KG Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Extending KeY for the Verification of C Programs : The Development of a Prototype - edizione con copertina flessibile
2008, ISBN: 3639000021
[EAN: 9783639000023], Neubuch, [PU: VDM Verlag Dr. Müller E.K. VDM Verlag Dr. Müller], nach der Bestellung gedruckt Neuware -Software verification is the study of formally proving the cor… Altro …
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
Extending KeY for the Verification of C Programs: The Development of a Prototype - edizione con copertina flessibile
2008, ISBN: 9783639000023
VDM Verlag Dr. Müller, Taschenbuch, 276 Seiten, Publiziert: 2008-04-23T00:00:01Z, Produktgruppe: Buch, 0.82 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büche… Altro …
amazon.de Costi di spedizione:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Extending KeY for the Verification of C Programs The Development of a Prototype - edizione con copertina flessibile
2008, ISBN: 3639000021
[EAN: 9783639000023], Neubuch, [PU: VDM Verlag Dr. Müller], New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 20… Altro …
AbeBooks.de Books2Anywhere, Fairford, GLOS, United Kingdom [190245] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione: EUR 33.02 Details... |
2008, ISBN: 3639000021
[EAN: 9783639000023], Neubuch, [PU: VDM Verlag Dr. Mueller e.K. 2008-04], Books
AbeBooks.de Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 4 (von 5)] NEW BOOK. Costi di spedizione: EUR 19.80 Details... |
2008, ISBN: 9783639000023
[ED: Softcover], [PU: VDM Verlag Dr. Müller / VDM Verlag Dr. Müller e.K.], Software verification is the study of formally proving the correctness of a program with respect to a given spec… Altro …
Christoph Gladisch:
Extending KeY for the Verification of C Programs : The Development of a Prototype - edizione con copertina flessibile2008, ISBN: 3639000021
[EAN: 9783639000023], Neubuch, [PU: VDM Verlag Dr. Müller E.K. VDM Verlag Dr. Müller], nach der Bestellung gedruckt Neuware -Software verification is the study of formally proving the cor… Altro …
Extending KeY for the Verification of C Programs: The Development of a Prototype - edizione con copertina flessibile
2008
ISBN: 9783639000023
VDM Verlag Dr. Müller, Taschenbuch, 276 Seiten, Publiziert: 2008-04-23T00:00:01Z, Produktgruppe: Buch, 0.82 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büche… Altro …
Extending KeY for the Verification of C Programs The Development of a Prototype - edizione con copertina flessibile
2008, ISBN: 3639000021
[EAN: 9783639000023], Neubuch, [PU: VDM Verlag Dr. Müller], New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 20… Altro …
2008, ISBN: 3639000021
[EAN: 9783639000023], Neubuch, [PU: VDM Verlag Dr. Mueller e.K. 2008-04], Books
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Extending KeY for the Verification of C Programs: The Development of a Prototype
EAN (ISBN-13): 9783639000023
ISBN (ISBN-10): 3639000021
Copertina flessibile
Anno di pubblicazione: 2008
Editore: VDM Verlag Dr. Müller
276 Pagine
Peso: 0,427 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2008-06-06T09:54:15+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2022-10-11T09:39:46+02:00 (Rome)
ISBN/EAN: 3639000021
ISBN - Stili di scrittura alternativi:
3-639-00002-1, 978-3-639-00002-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : gladisch
Titolo del libro: prototype, program verification
< Per archiviare...