73,95 €
73,95 €
inkl. MwSt.
Sofort per Download lieferbar
37 °P sammeln
73,95 €
Als Download kaufen
73,95 €
inkl. MwSt.
Sofort per Download lieferbar
37 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
73,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
37 °P sammeln
Andere Kunden interessierten sich auch für
![FM 2005: Formal Methods (eBook, PDF)]( "FM 2005: Formal Methods (eBook, PDF)")
FM 2005: Formal Methods (eBook, PDF)40,95 €![Formal Methods: Foundations and Applications (eBook, PDF)]( "Formal Methods: Foundations and Applications (eBook, PDF)")
Formal Methods: Foundations and Applications (eBook, PDF)40,95 €![Formal Approaches to Software Testing (eBook, PDF)]( "Formal Approaches to Software Testing (eBook, PDF)")
Formal Approaches to Software Testing (eBook, PDF)40,95 €![Applied Formal Methods - FM-Trends 98 (eBook, PDF)]( "Applied Formal Methods - FM-Trends 98 (eBook, PDF)")
Applied Formal Methods - FM-Trends 98 (eBook, PDF)40,95 €![ECOOP 2005 - Object-Oriented Programming (eBook, PDF)]( "ECOOP 2005 - Object-Oriented Programming (eBook, PDF)")
ECOOP 2005 - Object-Oriented Programming (eBook, PDF)73,95 €![Algebraic Methodology and Software Technology (eBook, PDF)]( "Algebraic Methodology and Software Technology (eBook, PDF)")
Algebraic Methodology and Software Technology (eBook, PDF)40,95 €![Foundations of Software Science and Computational Structures (eBook, PDF)]( "Foundations of Software Science and Computational Structures (eBook, PDF)")
Foundations of Software Science and Computational Structures (eBook, PDF)40,95 €
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.