Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

Fundamental Approaches to Software Engineering
8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh,..
von Maura Cerioli
Buch | Softcover
2005 | Auflage: 1 | Springer Berlin
ISBN: 9783540254201
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Implementation of Functional Languages
15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
von Phil Trinder; Greg Michaelson; Ricardo Pena
Buch | Softcover
2004 | Auflage: 1 | Springer Berlin
ISBN: 9783540237273
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Fundamental Approaches to Software Engineering
10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga,..
von Matthew B. Dwyer; Antonia Lopes
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540712886
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
The Agent Modeling Language - AML
A Comprehensive Approach to Modeling Multi-Agent Systems
von Radovan Cervenka; Ivan Trencansky
Buch | Softcover
2007 | Auflage: 1 | Springer Basel
ISBN: 9783764383954
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Term Rewriting and Applications
17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
von Frank Pfenning
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540368342
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Term Rewriting and Applications
16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
von Jürgen Giesl
Buch | Softcover
2005 | Auflage: 1 | Springer Berlin
ISBN: 9783540255963
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
25 Years of Model Checking
History, Achievements, Perspectives
von Orna Grumberg; Helmut Veith
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540698494
CHF 52,40 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Theorem Proving in Higher Order Logics
21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
von Otmane Ait Mohamed; César Munoz; Sofiène Tahar
Buch | Softcover
2008 | Auflage: 1 | Springer Berlin
ISBN: 9783540710653
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
von Michael Butler; Michael G. Hinchey; Maria M...
Buch | Softcover
2007 | Auflage: 1 | Springer Berlin
ISBN: 9783540766483
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Formal Methods and Software Engineering
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
von Chris George; Huaikou Miao
Buch | Softcover
2002 | Auflage: 1 | Springer Berlin
ISBN: 9783540000297
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Formal Methods and Software Engineering
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
von Kung-Kiu Lau; Richard Banach
Buch | Softcover
2005 | Auflage: 1 | Springer Berlin
ISBN: 9783540297970
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
CONCUR '95 Concurrency Theory
6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
von Scott Smolka
Buch | Softcover
1995 | Auflage: 1 | Springer Berlin
ISBN: 9783540602187
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen