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

Benjamin Weiß | Deductive verification of object-oriented software : dynamic...

Ø 0.0
0 Bewertungen
32,50 €

Titel: Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction | Medium: Taschenbuch | Autor: Benjamin Weiß | Einband: Kartoniert / Broschiert | Inhalt: 292 S. | Sprache: Englisch | Seiten: 292 | Maße: 240 x 170 x 16 mm | Erschienen: 18.08.2014 | Anbieter: Faboplay.

Jetzt bei Ebay:

Zum Angebot *
  • Buchtitel:
    Deductive verification of object-oriented software : dynamic fram
  • Autor:
    Benjamin Weiß
  • Sprache:
    Englisch
  • Erscheinungsjahr:
    2014
  • Anzahl der Seiten:
    292
  • Marke:
    Karlsruher Institut für Technologie, Karlsruher Institut für Tech
  • Hersteller:
    Karlsruher Institut für Technologie, Karlsruher Institut für Tech
  • Verlag:
    Karlsruher Institut für Technologie, Karlsruher Institut für Tech
  • Format:
    Taschenbuch
  • Genre:
    Mathematik, Naturwissenschaften, Technik, Medizin
  • Schlagworte:
    Informatik, Programmier- und Skriptsprachen, allgemein, EDV
  • Herstellungsland und -region:
    Deutschland
  • ISBN:
    3866446233
  • Standardversand:
    DHL Paket kostenlos - Lieferung zwischen 15. May 2025 und 20. 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 - Deductive verification of object-oriented software : dynamic frames, dynamic log

Deductive verification of object-oriented software : dynamic frames, dynamic log

32,50 €
Zum Angebot
Produktbild - Pattern-Oriented Software Architecture - Buschmann / Henny / Schmidt (2007)

Pattern-Oriented Software Architecture - Buschmann / Henny / Schmidt (2007)

24,00 €
Zum Angebot
Produktbild - Bernhard Beckert (u. a.) | Formal Verification of Object-Oriented Software | x

Bernhard Beckert (u. a.) | Formal Verification of Object-Oriented Software | x

45,95 €
Zum Angebot
Produktbild - Benjamin Weiß | Geschäftsprozesssimulation mit der Software Arena : Die...

Benjamin Weiß | Geschäftsprozesssimulation mit der Software Arena : Die...

27,95 €
Zum Angebot
Produktbild - Benjamin Weiß | Arten der Dialer-Software und Möglichkeiten des Schutzes vor...

Benjamin Weiß | Arten der Dialer-Software und Möglichkeiten des Schutzes vor...

17,95 €
Zum Angebot
Produktbild - Introduction to Logic and to the Methodology of Deductive Sciences | Tarski

Introduction to Logic and to the Methodology of Deductive Sciences | Tarski

23,79 €
Zum Angebot
Produktbild - The Psychology of Proof: Deductive Reasoning in Human Thinking by Rips, Lance J

The Psychology of Proof: Deductive Reasoning in Human Thinking by Rips, Lance J

16,55 €
Zum Angebot
Produktbild - A Problem-Oriented Approach for Dynamic Verification of Heterogeneous...

A Problem-Oriented Approach for Dynamic Verification of Heterogeneous...

49,00 €
Zum Angebot
Produktbild - Deductive and Object-Oriented Databases: Fourth International Conference, DOOD'

Deductive and Object-Oriented Databases: Fourth International Conference, DOOD'

7,51 €
Zum Angebot
Produktbild - Introduction to Logic and to the Methodology of Deductive Sciences Alfred Tarski

Introduction to Logic and to the Methodology of Deductive Sciences Alfred Tarski

23,79 €
Zum Angebot
Produktbild - Object-Oriented Software Construction (Book/CD-ROM by Meyer, Bertrand 0136291554

Object-Oriented Software Construction (Book/CD-ROM by Meyer, Bertrand 0136291554

39,99 €
Zum Angebot
Produktbild - Verification of Object-Oriented Software. The KeY Approach Bernhard Beckert

Verification of Object-Oriented Software. The KeY Approach Bernhard Beckert

106,99 €
Zum Angebot
Produktbild - Object-Oriented Software Engineering Using UML, Patterns & Java 3rd Edition

Object-Oriented Software Engineering Using UML, Patterns & Java 3rd Edition

17,74 €
Zum Angebot
Produktbild - Alfred Tarski | Introduction to Logic and to the Methodology of Deductive...

Alfred Tarski | Introduction to Logic and to the Methodology of Deductive...

21,29 €
Zum Angebot
Produktbild - Bernhard Beckert (u. a.) | Verification of Object-Oriented Software. The KeY...

Bernhard Beckert (u. a.) | Verification of Object-Oriented Software. The KeY...

95,95 €
Zum Angebot
Produktbild - Formal Verification of Object-Oriented Software: International Conference, FoVeO

Formal Verification of Object-Oriented Software: International Conference, FoVeO

57,66 €
Zum Angebot
Produktbild - Deductive Software Verification: Future Perspectives Wolfgang Ahrendt (u. a.)

Deductive Software Verification: Future Perspectives Wolfgang Ahrendt (u. a.)

51,90 €
Zum Angebot
Produktbild - Wei - Deductive verification of object-oriented software dynamic fr - J555z

Wei - Deductive verification of object-oriented software dynamic fr - J555z

45,41 €
Zum Angebot
Produktbild - Database Programming Languages: Deductive, Functional, Impertive and Object Orie

Database Programming Languages: Deductive, Functional, Impertive and Object Orie

18,80 €
Zum Angebot
Produktbild - Object-Oriented Software Engineering: Using UML, Pa... | Buch | Zustand sehr gut

Object-Oriented Software Engineering: Using UML, Pa... | Buch | Zustand sehr gut

4,84 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay