Seite 1 von 6
Anzahl pro Seite
Sortiert nach
Produkte: 59 Seite 1 von 6 Filter
Lemos / Romanovsky / Gacek

Architecting Dependable Systems  

Architecting Dependable Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Lemos / Romanovsky / Gacek

Architecting Dependable Systems

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-40727-0 (Buch)
  • Erscheinungstermin: 21.08.2003
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Vidal-Naquet / Monien

STACS 86  

STACS 86
37,44 € (inkl. MwSt.) 34,99 € (zzgl. MwSt.)
Vidal-Naquet / Monien

STACS 86

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-16078-6 (Buch)
  • Erscheinungstermin: 01.12.1985
  • Lieferzeit ca. 10 Werktage
37,44 € (inkl. MwSt.) 34,99 € (zzgl. MwSt.)
Paulson

Isabelle  

Isabelle
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Paulson

Isabelle

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58244-1 (Buch)
  • Erscheinungstermin: 28.07.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Melham / Margaria

Correct Hardware Design and Verification Methods  

Correct Hardware Design and Verification Methods
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-42541-0 (Buch)
  • Erscheinungstermin: 27.08.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Dowek / Möller / Heering

Higher-Order Algebra, Logic, and Term Rewriting  

Higher-Order Algebra, Logic, and Term Rewriting
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61254-4 (Buch)
  • Erscheinungstermin: 08.05.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Delgado Kloos

Semantics of Digital Circuits  

Semantics of Digital Circuits
24,60 € (inkl. MwSt.) 22,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-18540-6 (Buch)
  • Erscheinungstermin: 25.11.1987
  • Lieferzeit ca. 10 Werktage
24,60 € (inkl. MwSt.) 22,99 € (zzgl. MwSt.)
Budach / Lupanov / Bukharajev

Fundamentals of Computation Theory  

Fundamentals of Computation Theory
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Budach / Lupanov / Bukharajev

Fundamentals of Computation Theory

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-18740-0 (Buch)
  • Erscheinungstermin: 09.12.1987
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Skou / Larsen

Computer Aided Verification  

Computer Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55179-9 (Buch)
  • Erscheinungstermin: 22.04.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Rosolini / Moggi

Category Theory and Computer Science  

Category Theory and Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-63455-3 (Buch)
  • Erscheinungstermin: 20.08.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kowalewski / Roveri

Formal Methods for Industrial Critical Systems  

Formal Methods for Industrial Critical Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-642-15897-1 (Buch)
  • Erscheinungstermin: 09.09.2010
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach