- 2 Risultati
prezzo più basso: € 39,00, prezzo più alto: € 39,00, prezzo medio: € 39,00
1
Applications of Property-Based Synthesis in Formal Verification - Martin Schickel
Ordina
da Amazon.de (Intern. Bücher)
€ 39,00
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
Martin Schickel:

Applications of Property-Based Synthesis in Formal Verification - edizione con copertina flessibile

ISBN: 3866244649

Taschenbuch, [EAN: 9783866244641], Winter Industries, Winter Industries, Book, [PU: Winter Industries], Winter Industries, 54071011, Genres, 60447011, Architektur, Technik & Ingenieurswes… Altro …

  - <img src="http://www.assoc-amazon.de/e/ir?t=sfb&l=as2&o=3&a=3866244649" width="1" height="1" border="0" alt="" style="border:none !important; margin:0px !important;" />Neuware Costi di spedizione:Innerhalb EU, Schweiz und Liechtenstein (soferne Lieferung möglich) (EUR 3.00) Winter-Industries GmbH
Chiudere (X)
2
Applications of Property-Based Synthesis in Formal Verification - Martin Schickel
Ordina
da Amazon.de (Intern. Bücher)
€ 39,00
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato

Martin Schickel:

Applications of Property-Based Synthesis in Formal Verification - edizione con copertina flessibile

ISBN: 3866244649

Taschenbuch, [EAN: 9783866244641], Winter Industries, Winter Industries, Book, [PU: Winter Industries], Winter Industries, 54071011, Genres, 60447011, Architektur, Technik & Ingenieurswes… Altro …

  - , Neuware Costi di spedizione:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00) Winter-Industries GmbH
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Applications of Property-Based Synthesis in Formal Verification
Autore:
Titolo:
ISBN:

3866244649

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...