Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Compilerbau

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 | Springer Berlin
ISBN: 9783540710653
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Compiler Construction
18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK,..
von Oege de Moor; Michael I. Schwartzbach
Buch | Softcover
2009 | Springer Berlin
ISBN: 9783642007217
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Static Analysis
24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
von Francesco Ranzato
Buch | Softcover
2017 | Springer International Publishing
ISBN: 9783319667058
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of..
von Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti
Buch | Softcover
2017 | Springer International Publishing
ISBN: 9783319671123
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Model Checking Software
19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
von Alastair Donaldson; David Parker
Buch | Softcover
2012 | Springer Berlin
ISBN: 9783642317583
CHF 68,90 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
C++/CLI Primer
For .NET Development
von Vivek Ragunathan
Buch | Softcover
2016 | Apress
ISBN: 9781484223666
CHF 34,40 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 15-20 Tagen
Software Language Engineering
5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
von Krzysztof Czarnecki; Görel Hedin
Buch | Softcover
2013 | Springer Berlin
ISBN: 9783642360886
CHF 92,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen