Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Formal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Produkt bewerten
Verlag:
Springer Unsere-Artikel-Nr.: P35241299
EAN: 9783642317613
Erhältlich:
Nicht auf Lager
Zustellung: Di, 25.08.2026
Versand: Kostenlos
-15.4 %
CHF 65.–
CHF 55.–
Spezifikationen
Sprache
- Englisch
Autor
- Ferruccio Damiani
- Bernhard Beckert
- Dilian Gurov
Erscheinungsjahr
- 2012
Format
- Buch (Softcover)
Anzahl Seiten
- 264