Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Florian Kammüller | Interactive Theorem Proving in Software Engineering | Buch

Ø 0.0
0 Bewertungen
42,95 €

Titel: Interactive Theorem Proving in Software Engineering | Medium: Taschenbuch | Autor: Florian Kammüller | Inhalt: Kartoniert / Broschiert | Sprache: Englisch | Seiten: 120 | Maße: 7 x 150 x 220 mm | Erschienen: 08.11.2013 | Anbieter: Faboplay.

Jetzt bei Ebay:

Zum Angebot *
  • Buchtitel:
    Interactive Theorem Proving in Software Engineering
  • Autor:
    Florian Kammüller
  • Sprache:
    Englisch
  • Erscheinungsjahr:
    2013
  • Anzahl der Seiten:
    120
  • Marke:
    VDM Verlag Dr. Müller, VDM Verlag Dr. Müller e.K.
  • Hersteller:
    VDM Verlag Dr. Müller, VDM Verlag Dr. Müller e.K.
  • Verlag:
    VDM Verlag Dr. Müller, VDM Verlag Dr. Müller e.K.
  • Format:
    Taschenbuch
  • Genre:
    Mathematik, Naturwissenschaften, Technik, Medizin
  • Schlagworte:
    Informatik, EDV
  • Herstellungsland und -region:
    Deutschland
  • ISBN:
    3836457695
  • Standardversand:
    DHL Paket 2,95 EUR - Lieferung zwischen 16. May 2025 und 19. May 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Deutschland
  • Versand ausgeschlossen:
    Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere

Ähnliche Artikel

Produktbild - Stephan Merz (u. a.) | Interactive Theorem Proving | Taschenbuch | Englisch

Stephan Merz (u. a.) | Interactive Theorem Proving | Taschenbuch | Englisch

49,95 €
Zum Angebot
Produktbild - Theorem Proving in Higher Order Logics: 12th International Buch Springer

Theorem Proving in Higher Order Logics: 12th International Buch Springer

25,63 €
Zum Angebot
Produktbild - Automated Theorem Proving | Buch | 9783528085209

Automated Theorem Proving | Buch | 9783528085209

54,99 €
Zum Angebot
Produktbild - Mechanical Theorem Proving in Geometries: Basic Principles, Wen-Tsün Wu

Mechanical Theorem Proving in Geometries: Basic Principles, Wen-Tsün Wu

36,98 €
Zum Angebot
Produktbild - Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99

29,99 €
Zum Angebot
Produktbild - David M. Sandford | Using Sophisticated Models in Resolution Theorem Proving

David M. Sandford | Using Sophisticated Models in Resolution Theorem Proving

49,95 €
Zum Angebot
Produktbild - First-Order Logic and Automated Theorem Proving (Texts i... | Buch | Zustand gut

First-Order Logic and Automated Theorem Proving (Texts i... | Buch | Zustand gut

49,19 €
Zum Angebot
Produktbild - Victor A. Carreno (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch

Victor A. Carreno (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch

49,95 €
Zum Angebot
Produktbild - Interactive Theorem Proving and Program Development Pierre Castéran (u. a.) Buch

Interactive Theorem Proving and Program Development Pierre Castéran (u. a.) Buch

77,90 €
Zum Angebot
Produktbild - César A. Muñoz (u. a.) | Interactive Theorem Proving | Taschenbuch | Englisch

César A. Muñoz (u. a.) | Interactive Theorem Proving | Taschenbuch | Englisch

49,95 €
Zum Angebot
Produktbild - Klaus Schneider (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch

Klaus Schneider (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch

49,95 €
Zum Angebot
Produktbild - Interactive Theorem Proving

Interactive Theorem Proving

57,95 €
Zum Angebot
Produktbild - Theorem Proving in Higher Order Logics Burkhart Wolff (u. a.) Taschenbuch 2003

Theorem Proving in Higher Order Logics Burkhart Wolff (u. a.) Taschenbuch 2003

51,90 €
Zum Angebot
Produktbild - Amy Felty (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch (1997)

Amy Felty (u. a.) | Theorem Proving in Higher Order Logics | Taschenbuch (1997)

49,95 €
Zum Angebot
Produktbild - Interactive Theorem Proving Assia Mahboubi (u. a.) Taschenbuch xvii Englisch

Interactive Theorem Proving Assia Mahboubi (u. a.) Taschenbuch xvii Englisch

88,90 €
Zum Angebot
Produktbild - Buch - Royal Flush - Florian Achenbach

Buch - Royal Flush - Florian Achenbach

4,00 €
Zum Angebot
Produktbild - Richard C. Carrier | Proving History | Buch | Englisch (2012) | Gebunden

Richard C. Carrier | Proving History | Buch | Englisch (2012) | Gebunden

34,95 €
Zum Angebot
Produktbild - Assia Mahboubi (u. a.) | Interactive Theorem Proving | Taschenbuch | Englisch

Assia Mahboubi (u. a.) | Interactive Theorem Proving | Taschenbuch | Englisch

86,95 €
Zum Angebot
Produktbild - Florian Kiuppis | Heterogene Inklusivität, inklusive Heterogenität | Taschenbuch

Florian Kiuppis | Heterogene Inklusivität, inklusive Heterogenität | Taschenbuch

19,00 €
Zum Angebot
Produktbild - Florian Kurtz | Wiederverwendung von IT-Architekturen | Taschenbuch | Deutsch

Florian Kurtz | Wiederverwendung von IT-Architekturen | Taschenbuch | Deutsch

17,95 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay