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: and its Application to Runtime Assertion Checking
Medimops DE
89.24 EUR
Preis aktualisiert am: 04-09-2026 00:53:20
Siehe Produktangebot

Allgemein

Marke
Sudwestdeutscher Verlag Fur Hochschulschriften AG

Eigenschaften

Ähnliche Produkte

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
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
El-Sayed, Haytham: Arabic as a Formal Language
El-Sayed, Haytham: Arabic as a Formal Language
Produkt anzeigen
Wombacher, Andreas: Decentralized Establishment of Consistent, Multilateral Collaborations
Wombacher, Andreas: Decentralized Establishment of Consistent, Multilateral Collaborations
Produkt anzeigen
Menü