Ergebnisse zu
Compilerbau

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
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
FME 2003: Formal Methods
International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
von Keijiro Araki; Stefania Gnesi; Dion Mandrioli
Buch | Softcover
2003 | Auflage: 1 | Springer Berlin
ISBN: 9783540408284
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Automated Deduction - CADE-19
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
von Franz Baader
Buch | Softcover
2003 | Auflage: 1 | Springer Berlin
ISBN: 9783540405597
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 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
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
von Zhiming Liu; Jifeng He
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540474609
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Computer Science Logic
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
von Zoltán Ésik
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540454588
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Object-Based Concurrent Computing
ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
von Mario Tokoro; Oscar Nierstrasz; Peter Wegner
Buch | Softcover
1992 | Auflage: 1 | Springer Berlin
ISBN: 9783540556138
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
ESOP '88
2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
von Harald Ganzinger
Buch | Softcover
1988 | Auflage: 1 | Springer Berlin
ISBN: 9783540190271
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen