Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Programmiersprachen / -werkzeuge / Frameworks

Fachgebiete anzeigen
NASA Formal Methods
4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
von Alwyn Goodloe; Suzette Person
Buch | Softcover
2012 | Springer Berlin
ISBN: 9783642288906
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Types for Proofs and Programs
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
von Thorsten Altenkirch; Conor McBride
Buch | Softcover
2007 | Springer Berlin
ISBN: 9783540744634
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Runtime Verification
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
von Oleg Sokolsky; Serdar Tasiran
Buch | Softcover
2007 | Springer Berlin
ISBN: 9783540773948
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
von Sharon Barner; Ian Harris; Daniel Kroening; Orna..
Buch | Softcover
2011 | Springer Berlin
ISBN: 9783642195822
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen