Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

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
CHF 149,75 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
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
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Programming Languages and Systems
11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002..
von Daniel Le Metayer
Buch | Softcover
2002 | Auflage: 1 | Springer Berlin
ISBN: 9783540433637
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Automated Deduction - CADE-18
18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
von Andrei Voronkov
Buch | Softcover
2002 | Auflage: 1 | Springer Berlin
ISBN: 9783540439318
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Euro-Par 2012 Parallel Processing
18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
von Christos Kaklamanis; Theodore Papatheodorou; Paul..
Buch | Softcover
2012 | Auflage: 1 | Springer Berlin
ISBN: 9783642328190
CHF 139,95 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Static Analysis
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
von Antoine Mine; David Schmidt
Buch | Softcover
2012 | Auflage: 1 | Springer Berlin
ISBN: 9783642331244
CHF 92,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
Formal Methods: Foundations and Applications
12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
von Marcel Vinícius Medeiros Oliveira; Jim Woodcock
Buch | Softcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783642104510
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Unconventional Programming Paradigms
International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers
von Jean-Pierre Banâtre; Pascal Fradet; Jean-Louis..
Buch | Softcover
2005 | Auflage: 1 | Springer Berlin
ISBN: 9783540278849
CHF 74,85 (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen