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

Ergebnisse zu
Compilerbau

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
Compiler Generators
What They Can Do, What They Might Do, and What They Will Probably Never Do
von Mads Tofte
Buch | Softcover
2011 | Springer Berlin
ISBN: 9783642648571
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Trends in Functional Programming
13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers
von Hans Wolfgang Loidl; Ricardo Peña
Buch | Softcover
2013 | Springer Berlin
ISBN: 9783642404467
CHF 79,95 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen