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 | Auflage: 1 | Springer International Publishing
ISBN: 9783319671123
53,49 € (inkl. MwSt)
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 | Auflage: 1 | Springer International Publishing
ISBN: 9783319667058
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
C++/CLI Primer
For .NET Development
von Vivek Ragunathan
Buch | Softcover
2016 | Apress
ISBN: 9781484223666
24,60 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-15 Tagen
QVT - Operational Mappings
Modellierung mit der Query Views Transformation
von Siegfried Nolte
Buch | Hardcover
2009 | Auflage: 1 | Springer Berlin
ISBN: 9783540922926
59,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Haskell-Intensivkurs
Ein kompakter Einstieg in die funktionale Programmierung
von Marco Block; Adrian Neumann
Buch | Softcover
2011 | Auflage: 1 | Springer Berlin
ISBN: 9783642047176
49,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Units und Utilities für Turbo Pascal
Die professionelle Toolbox für die Softwareentwicklung unter Turbo Pascal ab Version 6.0
von Anton Liebetrau
Buch | Softcover
1992 | Auflage: 1 | Vieweg & Teubner
ISBN: 9783528052119
54,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen