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

Ergebnisse zu
Compilerbau

Classic Operating Systems
From Batch Processing to Distributed Systems
von Per Brinch Hansen
Buch | Softcover
2010 | Springer-Verlag New York Inc.
ISBN: 9781441928818
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Computer-Aided Reasoning
ACL2 Case Studies
von Matt Kaufmann; Panagiotis Manolios; J Strother..
Buch | Softcover
2010 | Springer-Verlag New York Inc.
ISBN: 9781441949813
CHF 299,55 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Software Language Engineering
7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
von Benoit Combemale; David Pearce; Olivier Barais;..
Buch | Softcover
2014 | Springer International Publishing
ISBN: 9783319112442
CHF 83,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Programming Languages
18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
von Fernando Magno Quintao Pereira
Buch | Softcover
2014 | Springer International Publishing
ISBN: 9783319118628
CHF 59,90 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
von Bernd Fischer; Jaco Geldenhuys
Buch | Softcover
2015 | Springer International Publishing
ISBN: 9783319234038
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Programming Languages
19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
von Alberto Pardo; S. Doaitse Swierstra
Buch | Softcover
2015 | Springer International Publishing
ISBN: 9783319240114
CHF 59,90 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen