40,95 €
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
20 °P sammeln
40,95 €
Als Download kaufen
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
20 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
40,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
20 °P sammeln
Andere Kunden interessierten sich auch für
![Formal Methods: Foundations and Applications (eBook, PDF)]( "Formal Methods: Foundations and Applications (eBook, PDF)")
Formal Methods: Foundations and Applications (eBook, PDF)32,95 €![Software Engineering and Formal Methods (eBook, PDF)]( "Software Engineering and Formal Methods (eBook, PDF)")
Software Engineering and Formal Methods (eBook, PDF)40,95 €![Model Checking Software (eBook, PDF)]( "Model Checking Software (eBook, PDF)")
Model Checking Software (eBook, PDF)40,95 €![Fundamentals of Software Engineering (eBook, PDF)]( "Fundamentals of Software Engineering (eBook, PDF)")
Fundamentals of Software Engineering (eBook, PDF)40,95 €![Fundamental Approaches to Software Engineering (eBook, PDF)]( "Fundamental Approaches to Software Engineering (eBook, PDF)")
Fundamental Approaches to Software Engineering (eBook, PDF)40,95 €![NASA Formal Methods (eBook, PDF)]( "NASA Formal Methods (eBook, PDF)")
NASA Formal Methods (eBook, PDF)40,95 €![Verification, Model Checking, and Abstract Interpretation (eBook, PDF)]( "Verification, Model Checking, and Abstract Interpretation (eBook, PDF)")
Verification, Model Checking, and Abstract Interpretation (eBook, PDF)40,95 €
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.
The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
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.