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

Ergebnisse zu
Compilerbau

Model Checking Software
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
von Corina S Pasareanu
Buch | Softcover
2009 | Springer Berlin
ISBN: 9783642026515
CHF 104,80 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Tests and Proofs
5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
von Martin Gogolla; Burkhart Wolff
Buch | Softcover
2011 | Springer Berlin
ISBN: 9783642217678
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
von Radhia Cousot; Matthieu Martel
Buch | Softcover
2010 | Springer Berlin
ISBN: 9783642157684
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Approaches to Prototyping
Proceedings of the Working Conference on Prototyping, October 25 - 28, 1983, Namur, Belgium
von R. Budde; K. Kuhlenkamp; L. Mathiassen; H...
Buch | Softcover
1984 | Springer Berlin
ISBN: 9783540134909
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Lancelot
A Fortran Package for Large-Scale Nonlinear Optimization (Release A)
von A.R. Conn; G.I.M. Gould; P.L. Toint
Buch | Softcover
2010 | Springer Berlin
ISBN: 9783642081392
CHF 224,65 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen