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 (3) Eigenschaften
Gesponsert
Formal Verification of Object-Oriented Software
Hugendubel
48.99 EUR
Preis aktualisiert am: 29-10-2026 10:56:47
Siehe Produktangebot
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: 29-10-2026 00:06:30
Siehe Produktangebot
Gesponsert
Formal Verification of Object-Oriented Software
SpringerLink DE
54.50 EUR
Preis aktualisiert am: 28-10-2026 06:12:35
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)
Aus49.98 EUR 4
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)
Aus53.49 EUR 4
Produkt anzeigen
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Aus123.04 EUR 3
Produkt anzeigen
Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
Aus42.79 EUR 2
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Aus53.49 EUR 3
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
Aus53.49 EUR 1
Produkt anzeigen
Menü