A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking
  • #
  • #

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

89.90 EUR 89.24 EUR 1% Off

Teilen:
Gesponsert

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

Medimops DE
89.24 EUR
07-09-2026 06:30:23
Gesponsert

A Formal Definition of JML in Coq, Fachbücher von Hermann Lehner

Galaxus.de
89.90 EUR
28-07-2026 18:56:45

Ähnliche Produkte

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

111.04 EUR
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

81.74 EUR
Stilvolles langes Abendkleid mit Spitzenakzenten

Stilvolles langes Abendkleid mit Spitzenakzenten

132.59 EUR
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

146.90 EUR
Arabic as a Formal Language

Arabic as a Formal Language

47.56 EUR
Wombacher, Andreas: Decentralized Establishment of Consistent, Multilateral Collaborations

Wombacher, Andreas: Decentralized Establishment of Consistent, Multilateral Collaborations

79.90 EUR