Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

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
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
Database Programming Languages
12th International Symposium, DBPL 2009, Lyon, France, August 24, 2009, Proceedings
von Philippa Gardner; Floris Geerts
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642037924
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Hardware and Software: Verification and Testing
4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
von Hana Chockler; Alan J. Hu
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642017018
CHF 104,80 (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
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
Software Engineering - ESEC '93
4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings
von Ian Sommerville; Manfred Paul
Buch | Softcover
1993 | Auflage: 1 | Springer Berlin
ISBN: 9783540572091
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Constraint Databases
von Gabriel Kuper; Leonid Libkin; Jan Paredaens
Buch | Hardcover
2000 | Auflage: 1 | Springer Berlin
ISBN: 9783540661511
CHF 224,65 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Static Analysis
6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings
von Agostino Cortesi; Gilberto File
Buch | Softcover
1999 | Auflage: 1 | Springer Berlin
ISBN: 9783540664598
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Prolog Versus You
An Introduction to Logic Programming
von Anna-Lena Johansson; Agneta Eriksson-Granskog;..
Buch | Softcover
1989 | Auflage: 1 | Springer Berlin
ISBN: 9783540175773
CHF 164,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
TEMPO
A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues
von N. D. Jones; S. S. Muchnick
Buch | Softcover
1978 | Auflage: 1 | Springer Berlin
ISBN: 9783540090854
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen