Suchergebnisse für ""Patrick Lincoln""

All About Maude - A High-Performance Logical Framework (eBook, PDF)
72,95 €
Sofort per Download lieferbar
Versandkostenfrei
Manuel Clavel
Francisco Durán
Steven Eker
…mehr Autoren
Patrick Lincoln
Narciso Martí-Oliet
José Meseguer
Carolyn Talcott
All About Maude - A High-Performance Logical Framework (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
19. Juli 2007
Springer Berlin Heidelberg
Auch erhältlich als
Broschiertes Buch76,99 €
Der Raecher von Kalifornien
13,99 €
Sofort lieferbar
Versandkostenfrei
Der Raecher von Kalifornien
  (Aktuell noch keine Bewertungen)
DVD
4. Juli 2024
Pidax Film

Ähnliche Artikel

Logic Programming (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Logic Programming (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
24. August 2007
Springer Berlin Heidelberg
Principles and Practice of Constraint Programming - CP 2001 (eBook, PDF)
72,95 €
Sofort per Download lieferbar
Versandkostenfrei
Principles and Practice of Constraint Programming - CP 2001 (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
30. Juni 2003
Springer Berlin Heidelberg
Logic for Programming, Artificial Intelligence, and Reasoning (eBook, PDF)
72,95 €
Sofort per Download lieferbar
Versandkostenfrei
Logic for Programming, Artificial Intelligence, and Reasoning (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
9. Februar 2005
Springer Berlin Heidelberg
Types for Proofs and Programs (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Types for Proofs and Programs (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
7. Mai 2008
Springer Berlin Heidelberg
Model Checking Software (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Model Checking Software (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
30. August 2007
Springer Berlin Heidelberg
FM 2005: Formal Methods (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
FM 2005: Formal Methods (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
25. August 2005
Springer Berlin Heidelberg
Functional and Logic Programming (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Functional and Logic Programming (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
11. April 2010
Springer Berlin Heidelberg
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
16. Dezember 2008
Springer Berlin Heidelberg
Duration Calculus (eBook, PDF)
72,95 €
Sofort per Download lieferbar
Versandkostenfrei
Chaochen Zhou
Michael R. Hansen
Duration Calculus (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
14. März 2013
Springer Berlin Heidelberg
Formal Methods at the Crossroads. From Panacea to Foundational Support (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Formal Methods at the Crossroads. From Panacea to Foundational Support (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
29. März 2011
Springer Berlin Heidelberg


Ähnlichkeitssuche: Fact®Finder von OMIKRON