Seite 18 von 32
Anzahl pro Seite
Sortiert nach
Produkte: 315 Seite 18 von 32 Filter
Guessarian

Semantics of Systems of Concurrent Processes  

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

Theorem Proving in Higher Order Logics  

Theorem Proving in Higher Order Logics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-63379-2 (Buch)
  • Erscheinungstermin: 06.08.1997
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Butler / Bowen

Abstract State Machines, B and Z  

Abstract State Machines, B and Z
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Börger / Butler / Bowen

Abstract State Machines, B and Z

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-87602-1 (Buch)
  • Erscheinungstermin: 08.09.2008
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Harmer / Kosiol

Graph Transformation  

Graph Transformation
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Harmer / Kosiol

Graph Transformation

  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-64284-5 (Buch)
  • Erscheinungstermin: 11.07.2024
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Kutylowski / Pacholski / Wierzbicki

Mathematical Foundations of Computer Science 1999  

Mathematical Foundations of Computer Science 1999
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kutylowski / Pacholski / Wierzbicki

Mathematical Foundations of Computer Science 1999

  • Verlag: Springer Berlin Heidelberg
  • ISBN: 978-3-540-66408-6 (Buch)
  • Erscheinungstermin: 18.08.1999
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Nerode / Matiyasevich

Logical Foundations of Computer Science  

Logical Foundations of Computer Science
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-58140-6 (Buch)
  • Erscheinungstermin: 08.06.1994
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Raymond / Wood / Yu

Automata Implementation  

Automata Implementation
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Raymond / Wood / Yu

Automata Implementation

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

Computer Aided Verification  

Computer Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-56922-0 (Buch)
  • Erscheinungstermin: 16.06.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Thielscher

Challenges for Action Theories  

Challenges for Action Theories
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-67455-9 (Buch)
  • Erscheinungstermin: 16.04.2000
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
König / Urbat

Coalgebraic Methods in Computer Science  

Coalgebraic Methods in Computer Science
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Switzerland
  • ISBN: 978-3-031-66437-3 (Buch)
  • Erscheinungstermin: 26.07.2024
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach