Seite 2 von 2
Anzahl pro Seite
Sortiert nach
Produkte: 20 Seite 2 von 2 Filter
Kosmatov / Prevosto / Signoles

Guide to Software Verification with Frama-C  

Guide to Software Verification with Frama-C
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Kosmatov / Prevosto / Signoles

Guide to Software Verification with Frama-C

  • Verlag: Springer
  • ISBN: 978-3-031-55610-4 (Buch)
  • Erscheinungstermin: 11.07.2025
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Best / Devillers

Petri Net Primer  

Petri Net Primer
90,94 € (inkl. MwSt.) 84,99 € (zzgl. MwSt.)
Best / Devillers

Petri Net Primer

  • Verlag: Springer
  • ISBN: 978-3-031-48277-9 (Buch)
  • Erscheinungstermin: 24.01.2024
  • Lieferzeit ca. 10 Werktage
90,94 € (inkl. MwSt.) 84,99 € (zzgl. MwSt.)
Kagan / Rybalov / Yager

Multi-valued Logic for Decision-Making Under Uncertainty  

Multi-valued Logic for Decision-Making Under Uncertainty
213,99 € (inkl. MwSt.) 199,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-74761-8 (Buch)
  • Erscheinungstermin: 18.02.2025
  • Lieferzeit ca. 10 Werktage
213,99 € (inkl. MwSt.) 199,99 € (zzgl. MwSt.)
Best / Devillers

Petri Net Primer  

Petri Net Primer
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Best / Devillers

Petri Net Primer

  • Verlag: Springer
  • ISBN: 978-3-031-48280-9 (Buch)
  • Erscheinungstermin: 10.02.2025
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Yukita

Category Theory Using Haskell  

Category Theory Using Haskell
213,99 € (inkl. MwSt.) 199,99 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-031-68537-8 (Buch)
  • Erscheinungstermin: 07.12.2024
  • Lieferzeit ca. 10 Werktage
213,99 € (inkl. MwSt.) 199,99 € (zzgl. MwSt.)
Kosmatov / Prevosto / Signoles

Guide to Software Verification with Frama-C  

Guide to Software Verification with Frama-C
74,89 € (inkl. MwSt.) 69,99 € (zzgl. MwSt.)
Kosmatov / Prevosto / Signoles

Guide to Software Verification with Frama-C

  • Verlag: Springer International Publishing
  • ISBN: 978-3-031-55607-4 (Buch)
  • Erscheinungstermin: 10.07.2024
  • Lieferzeit ca. 10 Werktage
74,89 € (inkl. MwSt.) 69,99 € (zzgl. MwSt.)
Supowit

Algorithms for Constructing Computably Enumerable Sets  

Algorithms for Constructing Computably Enumerable Sets
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-26906-6 (Buch)
  • Erscheinungstermin: 11.06.2024
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Supowit

Algorithms for Constructing Computably Enumerable Sets  

Algorithms for Constructing Computably Enumerable Sets
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-031-26903-5 (Buch)
  • Erscheinungstermin: 24.05.2023
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 59,99 € (zzgl. MwSt.)
Farmer

Simple Type Theory  

Simple Type Theory
64,19 € (inkl. MwSt.) 64,19 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-031-21114-0 (Buch)
  • Erscheinungstermin: 03.01.2024
  • Lieferzeit ca. 10 Werktage
64,19 € (inkl. MwSt.) 64,19 € (zzgl. MwSt.)
Farmer

Simple Type Theory  

Simple Type Theory
85,59 € (inkl. MwSt.) 79,99 € (zzgl. MwSt.)
  • Verlag: Palgrave Macmillan
  • ISBN: 978-3-031-85351-7 (Buch)
  • Erscheinungstermin: 24.04.2025
  • Lieferzeit ca. 10 Werktage
85,59 € (inkl. MwSt.) 79,99 € (zzgl. MwSt.)
Filter
Anzahl pro Seite
Sortiert nach