Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 9 Seite 1 von 1 Filter
Ribeiro / Sekerinski

Formal Methods Teaching  

Formal Methods Teaching
40,65 € (inkl. MwSt.) 37,99 € (zzgl. MwSt.)
Ribeiro / Sekerinski

Formal Methods Teaching

  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-71378-1 (Buch)
  • Erscheinungstermin: 05.09.2024
  • Lieferzeit ca. 10 Werktage
40,65 € (inkl. MwSt.) 37,99 € (zzgl. MwSt.)
Keller / Fasel

Graph Reduction  

Graph Reduction
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Keller / Fasel

Graph Reduction

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-18420-1 (Buch)
  • Erscheinungstermin: 07.10.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.)
Kurshan / Clarke

Computer-Aided Verification  

Computer-Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-54477-7 (Buch)
  • Erscheinungstermin: 02.10.1991
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Toueg / Kirousis / Spirakis

Distributed Algorithms  

Distributed Algorithms
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Toueg / Kirousis / Spirakis

Distributed Algorithms

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-55236-9 (Buch)
  • Erscheinungstermin: 11.03.1992
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Andersson

Analysis of Dynamical and Cognitive Systems  

Analysis of Dynamical and Cognitive Systems
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-58843-6 (Buch)
  • Erscheinungstermin: 26.01.1995
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Lukose / Zhang

Distributed Artificial Intelligence: Architecture and Modelling  

Distributed Artificial Intelligence: Architecture and Modelling
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-61314-5 (Buch)
  • Erscheinungstermin: 12.06.1996
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Guessarian

Semantics of Systems of Concurrent Processes  

Semantics of Systems of Concurrent Processes
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-53479-2 (Buch)
  • Erscheinungstermin: 28.11.1990
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Felty / Gunter

Theorem Proving in Higher Order Logics  

Theorem Proving in Higher Order Logics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-63379-2 (Buch)
  • Erscheinungstermin: 06.08.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • |
  • 1
  • |
Filter
Anzahl pro Seite
Sortiert nach