A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking

Wo zu kaufen (1) Eigenschaften
Gesponsert
A Formal Definition of JML in Coq, Fachbücher von Hermann Lehner
Galaxus.de
89.90 EUR
Preis aktualisiert am: 30-04-2026 10:13:34
Siehe Produktangebot

Allgemein

Marke
Sudwestdeutscher Verlag Fur Hochschulschriften AG

Eigenschaften

Ähnliche Produkte

Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler
Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler
Produkt anzeigen
Wombacher, Andreas: Decentralized Establishment of Consistent, Multilateral Collaborations
Wombacher, Andreas: Decentralized Establishment of Consistent, Multilateral Collaborations
Produkt anzeigen
Formal and Informal Politics of British Rule in Post-Conquest Quebec, 1760-1837: A Northern Bastille
Formal and Informal Politics of British Rule in Post-Conquest Quebec, 1760-1837: A Northern Bastille
Produkt anzeigen
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Produkt anzeigen
Elegantes A-Linien Abendkleid mit Spitze
Elegantes A-Linien Abendkleid mit Spitze
Produkt anzeigen
El-Sayed, Haytham: Arabic as a Formal Language
El-Sayed, Haytham: Arabic as a Formal Language
Produkt anzeigen
Menü