Ihre Suche nach "model checking" ergab 17 Treffer
![: Verification, Model Checking, and Abstract Interpretation, Buch](https://media1.jpc.de/image/w90/front/0/9783031505232.jpg)
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/9783031505201.jpg)
Verification, Model Checking, and Abstract Interpretation
lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
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
![Jim Sullivan: U.F.O. (Blue Splatter Vinyl), LP](https://media1.jpc.de/image/w90/front/0/0826853120616.jpg)
Jim Sullivan
U.F.O. (Blue Splatter Vinyl)
umgehend lieferbar, Bestand beim Lieferanten vorhanden
EUR 45,99**
LP
EUR 42,99*
Artikel ist im Warenkorb
![The Rolling Stones: Black And Blue (remastered) (180g) (Half Speed Master), LP](https://media1.jpc.de/image/w90/front/0/0602508773235.jpg)
The Rolling Stones
Black And Blue (remastered) (180g) (Half Speed Master)
umgehend lieferbar, Bestand beim Lieferanten vorhanden
LP
EUR 31,99*
Artikel ist im Warenkorb
![Jim Sullivan: U.F.O. (remastered) (Colored Vinyl), LP](https://media1.jpc.de/image/w90/front/0/0826853020619.jpg)
Jim Sullivan
U.F.O. (remastered) (Colored Vinyl)
umgehend lieferbar, Bestand beim Lieferanten vorhanden
LP
EUR 43,99*
Artikel ist im Warenkorb
![The Rolling Stones: Black And Blue (2009 Remastered), CD](https://media1.jpc.de/image/w90/front/0/0602527015613.jpg)
The Rolling Stones
Black And Blue (2009 Remastered)
umgehend lieferbar, Bestand beim Lieferanten vorhanden
CD
EUR 14,99*
Artikel ist im Warenkorb
![Rolf Drechsler: Design für Testbarkeit, Fehlersuche und Zuverlässigkeit, Buch](https://media1.jpc.de/image/w90/front/0/9783031453182.jpg)
Rolf Drechsler, Sebastian Huhn
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
sofort lieferbar
Buch
EUR 109,99*
Artikel ist im Warenkorb
![Jan Friso Groote: Understanding Behaviour of Distributed Systems Using mCRL2, Buch](https://media1.jpc.de/image/w90/front/0/9783031230103.jpg)
Jan Friso Groote, Muhammad Atif
Understanding Behaviour of Distributed Systems Using mCRL2
lieferbar innerhalb 2-3 Wochen
Buch
EUR 197,13*
Artikel ist im Warenkorb
![: Application and Theory of Petri Nets and Concurrency, Buch](https://media1.jpc.de/image/w90/front/0/9783031614323.jpg)
Application and Theory of Petri Nets and Concurrency
lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
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.