Seite 1 von 4
Anzahl pro Seite
Sortiert nach
Produkte: 44 Seite 1 von 4 Filter
Colom / Koutny

Applications and Theory of Petri Nets 2001  

Applications and Theory of Petri Nets 2001
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-42252-5 (Buch)
  • Erscheinungstermin: 13.06.2001
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Cortadella / Reisig

Applications and Theory of Petri Nets 2004  

Applications and Theory of Petri Nets 2004
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
  • Verlag: J.B. Metzler
  • ISBN: 978-3-540-22236-1 (Buch)
  • Erscheinungstermin: 15.06.2004
  • Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.) 99,99 € (zzgl. MwSt.)
Carvalho / Kobayashi

Formal Methods Teaching  

Formal Methods Teaching
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Carvalho / Kobayashi

Formal Methods Teaching

  • Verlag: Springer
  • ISBN: 978-3-032-26742-9 (Buch)
  • Erscheinungstermin: 19.05.2026
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Archibald / Semeráth

Graph Transformation  

Graph Transformation
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Archibald / Semeráth

Graph Transformation

  • Verlag: Springer Nature Switzerland AG
  • ISBN: 978-3-032-29729-7 (Buch)
  • Erscheinungstermin: 25.07.2026
  • Vorbestellbar
62,05 € (inkl. MwSt.) 57,99 € (zzgl. MwSt.)
Yan / Liu / Westerståhl

The Connectives in Logic and Language  

The Connectives in Logic and Language
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-86053-9 (Buch)
  • Erscheinungstermin: 17.04.2025
  • Lieferzeit ca. 10 Werktage
58,84 € (inkl. MwSt.) 54,99 € (zzgl. MwSt.)
Aiswarya / Sen / Srivastava

Logic and Its Applications  

Logic and Its Applications
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Aiswarya / Sen / Srivastava

Logic and Its Applications

  • Verlag: Springer
  • ISBN: 978-3-031-89609-5 (Buch)
  • Erscheinungstermin: 28.05.2025
  • Lieferzeit ca. 10 Werktage
69,54 € (inkl. MwSt.) 64,99 € (zzgl. MwSt.)
Paulson

Isabelle  

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

Isabelle

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

Frontiers of Algorithmics  

Frontiers of Algorithmics
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
  • Verlag: Springer Nature Singapore
  • ISBN: 978-981-97-7751-8 (Buch)
  • Erscheinungstermin: 29.12.2024
  • Lieferzeit ca. 10 Werktage
80,24 € (inkl. MwSt.) 74,99 € (zzgl. MwSt.)
Bochmann / Probst

Computer Aided Verification  

Computer Aided Verification
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-56496-6 (Buch)
  • Erscheinungstermin: 30.03.1993
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bert / Bowen / Henson

ZB 2002: Formal Specification and Development in Z and B  

ZB 2002: Formal Specification and Development in Z and B
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-43166-4 (Buch)
  • Erscheinungstermin: 16.01.2002
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach