Suchergebnisse für ""Edmund M. Clarke""

Model Checking
78,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Edmund M. Clarke Jr. (Carnegie Mellon University)
Orna Grumberg (Technion)
Daniel Kroening (Oxford University)
Model Checking
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
second edition
4. Dezember 2018
MIT Press Ltd
Auch erhältlich als
eBook, ePUB45,95 €
Model Checking, second edition (eBook, ePUB)
45,95 €
Sofort per Download lieferbar
Versandkostenfrei
Edmund M. Clarke
Orna Grumberg
Daniel Kroening
…mehr Autoren
Doron Peled
Helmut Veith
Model Checking, second edition (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
4. Dezember 2018
MIT Press
Computer-Aided Verification
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Edmund M. Clarke / Robert P. Kurshan (eds.)
Computer-Aided Verification
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
1991.
2. Oktober 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54477-7
Model Checking
Edmund M. Clarke
Orna Grumberg
Doron A. Peled
Model Checking
  (Aktuell noch keine Bewertungen)
Buch mit Leinen-Einband
Pr.
2000
MIT Press

Ähnliche Artikel

Principles of Model Checking
83,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Christel Baier (Technische Universitat Dresden)
Joost-Pieter Katoen (RWTH Aachen University)
Principles of Model Checking
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
25. April 2008
MIT Press Ltd
Model Checking Quantum Systems
62,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Mingsheng Ying (Sydney University of Technology)
Yuan Feng (Sydney University of Technology)
Model Checking Quantum Systems
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
4. Februar 2021
Cambridge University Press
Information-Driven Planning and Control
78,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Silvia Ferrari
Thomas A. Wettergren
Information-Driven Planning and Control
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
6. Juli 2021
MIT Press Ltd
Verifying Cyber-Physical Systems
62,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Sayan Mitra
Verifying Cyber-Physical Systems
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
A Path to Safe Autonomy
16. Februar 2021
MIT Press Ltd
Checking Out Crime
10,99 €
Versandfertig in über 4 Wochen
Checking Out Crime
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6. April 2021
Penguin Putnam Inc
Checking C Programs with Lint
14,99 €
Versandfertig in über 4 Wochen
Ian D. Darwin
Checking C Programs with Lint
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
C Programming Utility
Rev. ed.
8. November 1988
O'Reilly Media
Stop Checking Your Likes
16,99 €
Versandfertig in über 4 Wochen
Susie Moore
Stop Checking Your Likes
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Shake Off the Need for Approval and Live an Incredible Life
7. Mai 2020
New World Library
Fact-Checking the Fact-Checkers
16,99 €
Versandfertig in über 4 Wochen
Matt Palumbo
Fact-Checking the Fact-Checkers
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
How the Left Hijacked and Weaponized the Fact-Checking Industry
18. Juli 2023
Liberatio Protocol
Checking Presidential Power
32,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Valeria Palanza (Pontificia Universidad Catolica de Chile)
Checking Presidential Power
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
14. April 2022
Cambridge University Press
Checking in
23,99 €
Versandfertig in über 4 Wochen
Michelle Williams
Checking in
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
How Getting Real about Depression Saved My Life---And Can Save Yours
25. Mai 2021
Thomas Nelson Publishers


Ähnlichkeitssuche: Fact®Finder von OMIKRON