Suchergebnisse für ""Orna Grumberg""

Model Checking, second edition (eBook, ePUB)
46,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 Buch86,99 €
Tools and Algorithms for the Construction and Analysis of Systems
79,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Orna Grumberg (Volume ed.) / Michael Huth
Tools and Algorithms for the Construction and Analysis of Systems
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-71208-4
Auch erhältlich als
eBook, PDF73,95 €
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)
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)
34,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)
43,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)
15,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
Learning Theory from First Principles (eBook, ePUB)
49,95 €
Sofort per Download lieferbar
Versandkostenfrei
Francis Bach
Learning Theory from First Principles (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
24. Dezember 2024
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)
49,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