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

Teilen:
Gesponsert

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

Galaxus.de
89.90 EUR
09-06-2026 15:50:03

Ähnliche Produkte

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

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

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

Wombacher, Andreas: Decentralized Establishment of Consistent, Multilateral Collaborations

79.90 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

89.90 EUR
Stilvolles langes Abendkleid mit Spitzenakzenten

Stilvolles langes Abendkleid mit Spitzenakzenten

132.09 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

141.10 EUR
Arabic as a Formal Language

Arabic as a Formal Language

47.56 EUR