Suchergebnisse für ""Doron Peled""

Model Checking, second edition (eBook, ePUB)
47,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
Auch erhältlich als
Gebundenes Buch82,99 €
Computer Aided Verification
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Nicolas Halbwachs / Doron Peled (eds.)
Computer Aided Verification
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
1999.
23. Juni 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-66202-0
Auch erhältlich als
eBook, PDF40,95 €
The SPIN Verification System
Jean-Charles Grégoire / Gerald Holzmann / Doron Peled (eds.)
The SPIN Verification System
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1997
American Mathematical Society

Ä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)
16,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)
35,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
Multi-Agent Reinforcement Learning (eBook, ePUB)
44,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
Turing's Vision (eBook, ePUB)
14,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)
16,95 €
Sofort per Download lieferbar
Martin Erwig
Once Upon an Algorithm (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
18. August 2017
MIT Press
Privacy Is Hard and Seven Other Myths (eBook, ePUB)
16,95 €
Sofort per Download lieferbar
Jaap-Henk Hoepman
Privacy Is Hard and Seven Other Myths (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
5. Oktober 2021
MIT Press
Bits to Bitcoin (eBook, ePUB)
19,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)
50,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
How Smart Machines Think (eBook, ePUB)
12,95 €
Sofort per Download lieferbar
Sean Gerrish
How Smart Machines Think (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
30. Oktober 2018
MIT Press


Ähnlichkeitssuche: Fact®Finder von OMIKRON