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

Ergebnisse zu
Compilerbau

Model Checking Software
13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
von Antti Valmari
Buch | Softcover
2006 | Springer Berlin
ISBN: 9783540331025
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Model Checking Software
12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
von Patrick Godefroid
Buch | Softcover
2005 | Springer Berlin
ISBN: 9783540281955
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Compiler Construction
14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK,..
von Rastislav Bodik
Buch | Softcover
2005 | Springer Berlin
ISBN: 9783540254119
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Computer Science Logic
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
von Luke Ong
Buch | Softcover
2005 | Springer Berlin
ISBN: 9783540282310
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen