Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

Domain-Specific Program Generation
International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
von Christian Lengauer; Don Batory; Charles Consel;..
Buch | Softcover
2004 | Auflage: 1 | Springer Berlin
ISBN: 9783540221197
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Parsing Techniques
A Practical Guide
von Dick Grune; Ceriel J.H. Jacobs
Buch | Hardcover
2007 | Springer-Verlag New York Inc.
ISBN: 9780387202488
CHF 329,50 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Fundamental Approaches to Software Engineering
7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona,..
von Michel Wermelinger; Tiziana Margaria-Steffen
Buch | Softcover
2004 | Auflage: 1 | Springer Berlin
ISBN: 9783540213055
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Model Checking Software
13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
von Antti Valmari
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540331025
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Fundamental Approaches to Software Engineering
9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna,..
von Luciano Baresi; Reiko Heckel
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540330936
CHF 74,85 (inkl. MwSt)
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 | Auflage: 1 | Springer Berlin
ISBN: 9783540254119
CHF 74,85 (inkl. MwSt)
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 | Auflage: 1 | Springer Berlin
ISBN: 9783540462538
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
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 | Auflage: 1 | Springer Berlin
ISBN: 9783540372158
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Typed Lambda Calculi and Applications
8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
von Simona Ronchi Della Rocca
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540732273
CHF 74,85 (inkl. MwSt)
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 | Auflage: 1 | Springer Berlin
ISBN: 9783540740605
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen