Ihre Suche nach "verification" ergab 106 Treffer
![Samuel Andreyev: Kantate für Sopran & 10 Instrumente "In Glow of Like Seclusion" (180g), LP,LP](https://media1.jpc.de/image/w90/front/0/0809730420214.jpg)
Samuel Andreyev (geb. 1981)
Kantate für Sopran & 10 Instrumente "In Glow of Like Seclusion" (180g)
umgehend lieferbar, Bestand beim Lieferanten vorhanden
2 LPs
EUR 54,99*
Artikel ist im Warenkorb
![Khaled Salah Mohamed: Heterogeneous SoC Design and Verification, Buch](https://media1.jpc.de/image/w90/front/0/9783031561511.jpg)
Khaled Salah Mohamed
Heterogeneous SoC Design and Verification
lieferbar innerhalb 2-3 Wochen
Buch
EUR 53,32*
Artikel ist im Warenkorb
![: Runtime Verification, Buch](https://media1.jpc.de/image/w90/front/0/9783031442667.jpg)
Runtime Verification
lieferbar innerhalb 2-3 Wochen
Buch
EUR 76,66*
Artikel ist im Warenkorb
![: AI Verification, Buch](https://media1.jpc.de/image/w90/front/0/9783031651113.jpg)
AI Verification
lieferbar innerhalb 2-3 Wochen
Buch
EUR 131,42*
Artikel ist im Warenkorb
![: Computer Aided Verification, Buch](https://media1.jpc.de/image/w90/front/0/9783031656323.jpg)
Computer Aided Verification
lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
Artikel ist im Warenkorb
![: Computer Aided Verification, Buch](https://media1.jpc.de/image/w90/front/0/9783031656293.jpg)
Computer Aided Verification
lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
Artikel ist im Warenkorb
![: Computer Aided Verification, Buch](https://media1.jpc.de/image/w90/front/0/9783031656262.jpg)
Computer Aided Verification
lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
Artikel ist im Warenkorb
![Stefan Schwab: Guaranteed Verification of Dynamic Systems, Buch](https://media1.jpc.de/image/w90/front/0/9783731509653.jpg)
Stefan Schwab
Guaranteed Verification of Dynamic Systems
lieferbar innerhalb 2-3 Wochen
Buch
EUR 51,00*
Artikel ist im Warenkorb
![Chris Köcher: Verification of Automata with Storage Mechanisms, Buch](https://media1.jpc.de/image/w90/front/0/9783863602659.jpg)
Chris Köcher
Verification of Automata with Storage Mechanisms
lieferbar innerhalb 2-3 Wochen
Buch
EUR 18,00*
Artikel ist im Warenkorb
![Anton Wijs: Concise Guide to Software Verification, Buch](https://media1.jpc.de/image/w90/front/0/9783031301698.jpg)
Anton Wijs, Marieke Huisman
Concise Guide to Software Verification
lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Artikel ist im Warenkorb
![Alireza Mahzoon: Formal Verification of Structurally Complex Multipliers, Buch](https://media1.jpc.de/image/w90/front/0/9783031245732.jpg)
Alireza Mahzoon, Rolf Drechsler, Daniel Große
Formal Verification of Structurally Complex Multipliers
lieferbar innerhalb 2-3 Wochen
Buch
EUR 98,56*
Artikel ist im Warenkorb
![: Automated Technology for Verification and Analysis, Buch](https://media1.jpc.de/image/w90/front/0/9783031453311.jpg)
Automated Technology for Verification and Analysis
lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Artikel ist im Warenkorb
![: Automated Technology for Verification and Analysis, Buch](https://media1.jpc.de/image/w90/front/0/9783031453281.jpg)
Automated Technology for Verification and Analysis
lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
Artikel ist im Warenkorb
![: Guide to Software Verification with Frama-C, Buch](https://media1.jpc.de/image/w90/front/0/9783031556074.jpg)
Guide to Software Verification with Frama-C
lieferbar innerhalb 2-3 Wochen
Buch
EUR 69,33*
Artikel ist im Warenkorb
![: Verification, Model Checking, and Abstract Interpretation, Buch](https://media1.jpc.de/image/w90/front/0/9783031505201.jpg)
Verification, Model Checking, and Abstract Interpretation
lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Artikel ist im Warenkorb
![: Verification, Model Checking, and Abstract Interpretation, Buch](https://media1.jpc.de/image/w90/front/0/9783031505232.jpg)
Verification, Model Checking, and Abstract Interpretation
lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Artikel ist im Warenkorb
![Alessandro Gianola: Verification of Data-Aware Processes via Satisfiability Modulo Theories, Buch](https://media1.jpc.de/image/w90/front/0/9783031427459.jpg)
Alessandro Gianola
Verification of Data-Aware Processes via Satisfiability Modulo Theories
lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Artikel ist im Warenkorb
![: Verification and Evaluation of Computer and Communication Systems, Buch](https://media1.jpc.de/image/w90/front/0/9783031497360.jpg)
Verification and Evaluation of Computer and Communication Systems
lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
Artikel ist im Warenkorb
![: Tools for Design, Implementation and Verification of Emerging Information Technologies, Buch](https://media1.jpc.de/image/w90/front/0/9783031513985.jpg)
Tools for Design, Implementation and Verification of Emerging Information Technologies
lieferbar innerhalb 2-3 Wochen
Buch
EUR 65,71*
Artikel ist im Warenkorb
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.