ISBN: 3866244649
Taschenbuch, [EAN: 9783866244641], Winter Industries, Winter Industries, Book, [PU: Winter Industries], Winter Industries, 54071011, Genres, 60447011, Architektur, Technik & Ingenieurswes… Altro …
Amazon.de (Intern... Winter-Industries GmbH Neuware Costi di spedizione:Innerhalb EU, Schweiz und Liechtenstein (soferne Lieferung möglich) (EUR 3.00) Details... |
ISBN: 3866244649
Taschenbuch, [EAN: 9783866244641], Winter Industries, Winter Industries, Book, [PU: Winter Industries], Winter Industries, 54071011, Genres, 60447011, Architektur, Technik & Ingenieurswes… Altro …
Amazon.de (Intern... Winter-Industries GmbH , Neuware Costi di spedizione:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00) Details... |
ISBN: 3866244649
Taschenbuch, [EAN: 9783866244641], Winter Industries, Winter Industries, Book, [PU: Winter Industries], Winter Industries, 54071011, Genres, 60447011, Architektur, Technik & Ingenieurswes… Altro …
Martin Schickel:
Applications of Property-Based Synthesis in Formal Verification - edizione con copertina flessibileISBN: 3866244649
Taschenbuch, [EAN: 9783866244641], Winter Industries, Winter Industries, Book, [PU: Winter Industries], Winter Industries, 54071011, Genres, 60447011, Architektur, Technik & Ingenieurswes… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Applications of Property-Based Synthesis in Formal Verification
ISBN (ISBN-10): 3866244649 (ISBN-13: 9783866244641)
Copertina flessibile
Editore: Winter Industries
Libro nella banca dati dal 2015-05-26T08:50:17+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2017-03-17T05:31:37+01:00 (Rome)
ISBN/EAN: 3866244649
ISBN - Stili di scrittura alternativi:
3-86624-464-9
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : schickel
Dati dell'editore
Autore: Martin Schickel
Titolo: Dissertation Classic; Applications of Property-Based Synthesis in Formal Verification
Editore: Winter Industries
Anno di pubblicazione: 2009-12-02
Peso: 0,190 kg
Lingua: Inglese
39,00 € (DE)
40,10 € (AT)
Not available (reason unspecified)
BA; PB; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Anlagenbau Elektronik und Nachrichtentechnik (Kommunikationstechnik); Ingenieurwissenschaften; Eigenschaftsbasierter Entwurf; cando-objects; Cando-Objekte; formal verification; Formale Verifikation; property-based synthesis
< Per archiviare...