All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction
product image
product image

Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction

32.50 EUR

Ein Leitfaden für die formale Prüfung objektorientierter Programme, der dynamische Rahmen, Logik und Prädikatabstraktion kombiniert, um Fehler frühzeitig zu erkennen und robuste Software sicherzustellen.

Marke: Benjamin Weiss
ISBN: 3866446233
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction

32.50 EUR 32.50 EUR
02-09-2024 20:41:54
Access to the deal

Gesponsert Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

32.50 EUR 32.50 EUR
17-04-2025 00:30:20
Access to the deal

Ähnliche Produkte

Formal Verification of Simulink/Stateflow Diagrams

109.98 EUR 123.04 EUR
Produkt anzeigen

Formal Verification of Simulink/Stateflow Diagrams

111.98 EUR 123.04 EUR
Produkt anzeigen

Deductive Software Verification The KeY Book

115.64 EUR 128.39 EUR
Produkt anzeigen

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)

49.98 EUR 53.49 EUR
Produkt anzeigen