Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

Formal Methods: Foundations and Applications
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
von Marcel Vinícius Medeiros Oliveira; Jim Woodcock
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642104510
CHF 112,30 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Reliable Software Technologies - Ada-Europe 2002
7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings
von Johann Blieberger; Alfred Strohmeier
Buch | Softcover
2002 | Auflage: 1 | Springer Berlin
ISBN: 9783540437840
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Advances in Software Engineering
Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
von Egon Börger; Antonio Cisternino
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540897613
CHF 104,80 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Model Checking Software
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
von Corina S Pasareanu
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642026515
CHF 104,80 (inkl. MwSt)
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 | Auflage: 1 | Springer Berlin
ISBN: 9783642157684
CHF 74,85 (inkl. MwSt)
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 | Auflage: 1 | Springer Berlin
ISBN: 9783540134909
CHF 149,75 (inkl. MwSt)
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 | Auflage: 1 | Springer Berlin
ISBN: 9783642081392
CHF 224,65 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
von Jacques Duparc; Thomas A. Henzinger
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540749141
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
von Franz Baader
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540734475
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Programming Languages
An Active Learning Approach
von Kent D. Lee
Buch | Hardcover
2008 | Springer-Verlag New York Inc.
ISBN: 9780387794211
CHF 129,95 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen