Ergebnisse zu
Compilerbau

Concrete Semantics
With Isabelle/HOL
von Tobias Nipkow; Gerwin Klein
Buch | Softcover
2016 | Auflage: 1 | Springer International Publishing
ISBN: 9783319357591
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Perspectives of System Informatics
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015,..
von Manuel Mazzara; Andrei Voronkov
Buch | Softcover
2016 | Auflage: 1 | Springer International Publishing
ISBN: 9783319415789
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
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
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Automated Deduction - CADE-19
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
von Franz Baader
Buch | Softcover
2003 | Auflage: 1 | Springer Berlin
ISBN: 9783540405597
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Programming Languages and Systems
15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
von Peter Sestoft
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540330950
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
von Jean-Christophe Filliatre; Christine Paulin-Mohring;..
Buch | Softcover
2006 | Auflage: 1 | Springer Berlin
ISBN: 9783540314288
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Database Programming Languages
10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
von Gavin Bierman; Christoph Koch
Buch | Softcover
2005 | Auflage: 1 | Springer Berlin
ISBN: 9783540309512
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Database Programming Languages (DBPL-4)
Proceedings of the Fourth International Workshop on Database Programming Languages — Object Models and Languages, Manhattan, New York City, USA, 30..
von Catriel Beeri; Atsushi Ohori; Dennis Shasha
Buch | Softcover
1994 | Auflage: 1 | Springer Berlin
ISBN: 9783540198536
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Theoretical Aspects of Computer Software
International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings
von Takayasu Ito; Albert R. Meyer
Buch | Softcover
1991 | Auflage: 1 | Springer Berlin
ISBN: 9783540544159
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
ESOP '88
2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
von Harald Ganzinger
Buch | Softcover
1988 | Auflage: 1 | Springer Berlin
ISBN: 9783540190271
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Recent Trends in Data Type Specification
Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
von Donald Sannella
Buch | Softcover
1988 | Auflage: 1 | Springer Berlin
ISBN: 9783540503255
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen