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

Model Checking, second edition (eBook, ePUB)
44,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

Computational Thinking (eBook, ePUB)
10,95 €
Sofort per Download lieferbar
Peter J. Denning
Matti Tedre
Computational Thinking (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
14. Mai 2019
MIT Press
Programming for the Puzzled (eBook, ePUB)
13,95 €
Sofort per Download lieferbar
Srini Devadas
Programming for the Puzzled (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
16. November 2017
MIT Press
Software Design for Flexibility (eBook, ePUB)
30,95 €
Sofort per Download lieferbar
Versandkostenfrei
Chris Hanson
Gerald Jay Sussman
Software Design for Flexibility (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
9. März 2021
MIT Press
Turing's Vision (eBook, ePUB)
12,95 €
Sofort per Download lieferbar
Chris Bernhardt
Turing's Vision (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
13. Mai 2016
MIT Press
Once Upon an Algorithm (eBook, ePUB)
13,95 €
Sofort per Download lieferbar
Martin Erwig
Once Upon an Algorithm (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
18. August 2017
MIT Press
Formal Methods for Multi-Agent Feedback Control Systems (eBook, ePUB)
49,95 €
Sofort per Download lieferbar
Versandkostenfrei
Lars Lindemann
Dimos V. Dimarogonas
Formal Methods for Multi-Agent Feedback Control Systems (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
29. April 2025
MIT Press
Large Language Models (eBook, ePUB)
10,95 €
Sofort per Download lieferbar
Stephan Raaijmakers
Large Language Models (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
21. Oktober 2025
MIT Press
Multi-Agent Reinforcement Learning (eBook, ePUB)
38,95 €
Sofort per Download lieferbar
Versandkostenfrei
Stefano V. Albrecht
Filippos Christianos
Lukas Schäfer
Multi-Agent Reinforcement Learning (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
17. Dezember 2024
MIT Press
Bits to Bitcoin (eBook, ePUB)
16,95 €
Sofort per Download lieferbar
Mark Stuart Day
Bits to Bitcoin (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
28. August 2018
MIT Press
Veridical Data Science (eBook, ePUB)
44,95 €
Sofort per Download lieferbar
Versandkostenfrei
Bin Yu
Rebecca L. Barter
Veridical Data Science (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
15. Oktober 2024
MIT Press


Ähnlichkeitssuche: Fact®Finder von OMIKRON