Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7421)

Computer Science
Wo zu kaufen (2) Eigenschaften
Gesponsert
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7421)
Medimops DE
49.22 EUR
Preis aktualisiert am: 14-05-2026 17:39:46
Siehe Produktangebot
Gesponsert
Formal Verification of Object-Oriented Software
SpringerLink DE
49.22 EUR
Preis aktualisiert am: 14-05-2026 15:28:05
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
MPN
Springer Berlin Heidelberg 34 black & white illustrations, biograph
ISBN
Springer Berlin Heidelberg 3642317618

Eigenschaften

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)
Produkt anzeigen
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Produkt anzeigen
Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
Produkt anzeigen
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Produkt anzeigen
Menü