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
![Structured Object-Oriented Formal Language and Method (eBook, PDF)]( "Structured Object-Oriented Formal Language and Method (eBook, PDF)")
Structured Object-Oriented Formal Language and Method (eBook, PDF)32,95 €![Formal Techniques for Safety-Critical Systems (eBook, PDF)]( "Formal Techniques for Safety-Critical Systems (eBook, PDF)")
Formal Techniques for Safety-Critical Systems (eBook, PDF)40,95 €![Formal Techniques for Distributed Objects, Components, and Systems (eBook, PDF)]( "Formal Techniques for Distributed Objects, Components, and Systems (eBook, PDF)")
Formal Techniques for Distributed Objects, Components, and Systems (eBook, PDF)40,95 €![Computer Aided Verification (eBook, PDF)]( "Computer Aided Verification (eBook, PDF)")
Computer Aided Verification (eBook, PDF)40,95 €![Computer Aided Verification (eBook, PDF)]( "Computer Aided Verification (eBook, PDF)")
Computer Aided Verification (eBook, PDF)40,95 €![Formal Methods for Multicore Programming (eBook, PDF)]( "Formal Methods for Multicore Programming (eBook, PDF)")
Formal Methods for Multicore Programming (eBook, PDF)38,95 €![Application and Theory of Petri Nets and Concurrency (eBook, PDF)]( "Application and Theory of Petri Nets and Concurrency (eBook, PDF)")
Application and Theory of Petri Nets and Concurrency (eBook, PDF)40,95 €
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
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.