Ergebnisse zu
Compilerbau

Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
von Domenico Cantone; Eugenio Omodeo; Alberto Policriti
Buch | Hardcover
2001 | Springer-Verlag New York Inc.
ISBN: 9780387951973
160,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Agent-Oriented Programming
From Prolog to Guarded Definite Clauses
von Matthew M. Huntbach; Graem A. Ringwood
Buch | Softcover
1999 | Auflage: 1 | Springer Berlin
ISBN: 9783540666837
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Types for Proofs and Programs
International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
von Thorsten Altenkirch; Wolfgang Naraschewski;..
Buch | Softcover
1999 | Auflage: 1 | Springer Berlin
ISBN: 9783540665373
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Implementation of Functional Languages
10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers
von Kevin Hammond; Tony Davie; Chris Clack
Buch | Softcover
1999 | Auflage: 1 | Springer Berlin
ISBN: 9783540662297
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Temporal Logic in Specification
Altrincham, UK, April 8-10, 1987, Proceedings
von Behnam Banieqbal; Howard Barringer; Amir Pnueli
Buch | Softcover
1989 | Auflage: 1 | Springer Berlin
ISBN: 9783540518037
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Reliable Software Technologies - Ada-Europe '99
1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings
von Michael Gonzalez Harbour; Juan A. De La Puente
Buch | Softcover
1999 | Auflage: 1 | Springer Berlin
ISBN: 9783540660934
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Compiler Construction
10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy,..
von Reinhard Wilhelm
Buch | Softcover
2001 | Auflage: 1 | Springer Berlin
ISBN: 9783540418610
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Computer Science Logic
15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
von Laurent Fribourg
Buch | Softcover
2001 | Auflage: 1 | Springer Berlin
ISBN: 9783540425540
106,99 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen