1. Home
  2. Medien
  3. Bücher
  4. Verification of Sequential and Concurrent Programs (Texts in Computer Science)
  • #

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

106.99 EUR 100.34 EUR 6% Off

Teilen:
Gesponsert

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Medimops DE
100.34 EUR
22-04-2026 18:13:30
Gesponsert

Verification of Sequential and Concurrent Programs

SpringerLink DE
106.99 EUR
22-04-2026 21:47:27

Ähnliche Produkte

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

74.98 EUR
Automatic Verification of Sequential Infinite-State Processes

Automatic Verification of Sequential Infinite-State Processes

53.49 EUR
Formal Modeling and Verification of Cyber-Physical Systems

Formal Modeling and Verification of Cyber-Physical Systems

53.49 EUR
Determination and verification of possible resource savings in manual dishwashing

Determination and verification of possible resource savings in manual dishwashing

45.80 EUR
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems

A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems

49.00 EUR
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

109.98 EUR
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday

53.49 EUR
Modelling and Verification of Secure Exams

Modelling and Verification of Secure Exams

53.49 EUR