FM 2014: Formal Methods (eBook, PDF)
19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Redaktion: Jones, Cliff; Sun, Jun; Pihlajasaari, Pekka
Alle Infos zum eBook verschenken
FM 2014: Formal Methods (eBook, PDF)
19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Redaktion: Jones, Cliff; Sun, Jun; Pihlajasaari, Pekka
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Hier können Sie sich einloggen
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 13.94MB
- FM 2015: Formal Methods (eBook, PDF)40,95 €
- Engineering Trustworthy Software Systems (eBook, PDF)46,95 €
- Software Engineering and Formal Methods (eBook, PDF)40,95 €
- Automated Technology for Verification and Analysis (eBook, PDF)40,95 €
- Transactions on Petri Nets and Other Models of Concurrency X (eBook, PDF)40,95 €
- FM 2012: Formal Methods (eBook, PDF)40,95 €
- Transactions on Petri Nets and Other Models of Concurrency XI (eBook, PDF)40,95 €
-
-
-
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.
- Produktdetails
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 750
- Erscheinungstermin: 18. April 2014
- Englisch
- ISBN-13: 9783319064109
- Artikelnr.: 43858816
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 750
- Erscheinungstermin: 18. April 2014
- Englisch
- ISBN-13: 9783319064109
- Artikelnr.: 43858816