Seite 15 von 47
Anzahl pro Seite
Sortiert nach
Produkte: 473 Seite 15 von 47 Filter
Banieqbal / Barringer / Pnueli

Temporal Logic in Specification  

Temporal Logic in Specification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Banieqbal / Barringer / Pnueli

Temporal Logic in Specification

  • Verlag: Springer
  • ISBN: 978-3-540-51803-7 (Buch)
  • Erscheinungstermin: 11.10.1989
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Armando / Baumgartner / Dowek

Automated Reasoning  

Automated Reasoning
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Armando / Baumgartner / Dowek

Automated Reasoning

  • Verlag: Springer
  • ISBN: 978-3-540-71069-1 (Buch)
  • Erscheinungstermin: 25.07.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sommaruga

Formal Theories of Information  

Formal Theories of Information
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-00658-6 (Buch)
  • Erscheinungstermin: 22.04.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Butler / Jones / Romanovsky

Methods, Models and Tools for Fault Tolerance  

Methods, Models and Tools for Fault Tolerance
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-00866-5 (Buch)
  • Erscheinungstermin: 26.03.2009
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Sempere / García

Grammatical Inference: Theoretical Results and Applications  

Grammatical Inference: Theoretical Results and Applications
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-15487-4 (Buch)
  • Erscheinungstermin: 03.09.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kahn

Functional Programming Languages and Computer Architecture  

Functional Programming Languages and Computer Architecture
50,28 € (inkl. MwSt.) 46,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-18317-4 (Buch)
  • Erscheinungstermin: 27.08.1987
  • Lieferzeit ca. 10 Werktage
50,28 € (inkl. MwSt.) 46,99 € (zzgl. MwSt.)
Uhl / Schmid

A Systematic Catalogue of Reusable Abstract Data Types  

A Systematic Catalogue of Reusable Abstract Data Types
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-53229-3 (Buch)
  • Erscheinungstermin: 24.10.1990
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Wieringa / Persson

Requirements Engineering: Foundation for Software Quality  

Requirements Engineering: Foundation for Software Quality
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-14191-1 (Buch)
  • Erscheinungstermin: 17.06.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dahl / Wadler

Practical Aspects of Declarative Languages  

Practical Aspects of Declarative Languages
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-00389-2 (Buch)
  • Erscheinungstermin: 13.12.2002
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Altenkirch / Naraschewski / Reus

Types for Proofs and Programs  

Types for Proofs and Programs
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Altenkirch / Naraschewski / Reus

Types for Proofs and Programs

  • Verlag: Springer
  • ISBN: 978-3-540-66537-3 (Buch)
  • Erscheinungstermin: 22.09.1999
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach