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
Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
von Ana Cavalcanti; Augusto Sampaio; Jim Woodcock
Buch | Softcover
2006 | Springer Berlin
ISBN: 9783540462538
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Static Analysis
14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
von Hanne Riis Nielson; Gilberto Filé
Buch | Softcover
2007 | Springer Berlin
ISBN: 9783540740605
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Compiler Construction
17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest,..
von Laurie Hendren
Buch | Softcover
2008 | Springer Berlin
ISBN: 9783540787907
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Software Architecture
Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
von Ronald Morrison; Dharini Balasubramaniam; Katrina..
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540880295
CHF 112,30 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Lieferbar
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
von Jayadev Misra; Tobias Nipkow; Emil Sekerinski
Buch | Softcover
2006 | Springer Berlin
ISBN: 9783540372158
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Programming Languages and Systems
14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005,..
von Mooly Sagiv
Buch | Softcover
2005 | Springer Berlin
ISBN: 9783540254355
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Software Engineering and Middleware
4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers
von Thomas Gschwind; Cecilia Mascolo
Buch | Softcover
2005 | Springer Berlin
ISBN: 9783540253280
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
von Karin Breitman; Ana Cavalcanti
Buch | Softcover
2009 | Springer Berlin
ISBN: 9783642103728
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Fundamental Approaches to Software Engineering
11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest,..
von José Fiadeiro; Paola Inverardi
Buch | Softcover
2008 | Springer Berlin
ISBN: 9783540787426
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
von Dominique Méry; Stephan Merz
Buch | Softcover
2010 | Springer Berlin
ISBN: 9783642162640
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen