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

59.00 EUR

Preis aktualisiert am: 07-09-2026 11:13:31

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)

Produkt anzeigen

Formal Verification of Floating-Point Hardware Design

Formal Verification of Floating-Point Hardware Design

Produkt anzeigen

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

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

Produkt anzeigen

Formal Verification of Floating-Point Hardware Design

Formal Verification of Floating-Point Hardware Design

Produkt anzeigen

Formal Verification of Simulink/Stateflow Diagrams

Formal Verification of Simulink/Stateflow Diagrams

Produkt anzeigen

Naseem, Syed Atif: Formal Verification Of FDIR in Smart Grid

Naseem, Syed Atif: Formal Verification Of FDIR in Smart Grid

Produkt anzeigen