Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Wo zu kaufen (1) Eigenschaften
Gesponsert
Formal Verification of Object-Oriented Software
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 06:11:54
Siehe Produktangebot

Allgemein

MPN
44 black & white illustrations, 1 colour
ISBN
9783642180699

Eigenschaften

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, ... Notes in Computer Science, Band 15223)
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, ... Notes in Computer Science, Band 15223)
Aus51.69 EUR 4
Produkt anzeigen
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Aus111.24 EUR 3
Produkt anzeigen
Formal Verification of Floating-Point Hardware Design
Formal Verification of Floating-Point Hardware Design
Aus71.68 EUR 2
Produkt anzeigen
Naseem, Syed Atif: Formal Verification Of FDIR in Smart Grid
Naseem, Syed Atif: Formal Verification Of FDIR in Smart Grid
Aus55.90 EUR 2
Produkt anzeigen
Formal Verification of Simulink/Stateflow Diagrams
Formal Verification of Simulink/Stateflow Diagrams
Aus96.29 EUR 2
Produkt anzeigen
Formal Verification of Floating-Point Hardware Design
Formal Verification of Floating-Point Hardware Design
Aus93.08 EUR 2
Produkt anzeigen
Menü