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

Wo zu kaufen (3) Eigenschaften
Gesponsert
A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking
Medimops DE
89.24 EUR
Preis aktualisiert am: 22-10-2026 09:43:29
Siehe Produktangebot
Gesponsert
A Formal Definition of JML in Coq, Fachbücher von Hermann Lehner
Galaxus.de
89.90 EUR
Preis aktualisiert am: 21-10-2026 11:11:13
Siehe Produktangebot
Gesponsert
A Formal Definition of JML in Coq
Hugendubel
89.99 EUR
Preis aktualisiert am: 21-10-2026 09:05:00
Siehe Produktangebot

Allgemein

Marke
Sudwestdeutscher Verlag Fur Hochschulschriften AG

Eigenschaften

Ähnliche Produkte

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Aus111.04 EUR 3
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
Aus146.90 EUR 1
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
Aus81.74 EUR 3
Produkt anzeigen
Elegantes A-Linien Abendkleid mit Spitze
Elegantes A-Linien Abendkleid mit Spitze
Aus132.19 EUR 1
Produkt anzeigen
El-Sayed, Haytham: Arabic as a Formal Language
El-Sayed, Haytham: Arabic as a Formal Language
Aus64.99 EUR 1
Produkt anzeigen
Wombacher, Andreas: Decentralized Establishment of Consistent, Multilateral Collaborations
Wombacher, Andreas: Decentralized Establishment of Consistent, Multilateral Collaborations
Aus79.90 EUR 1
Produkt anzeigen
Menü