Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.6447 (PDF)
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.
The 42 revised full papers together with 3 invited talks presented were carefully reviewed...
The 42 revised full papers together with 3 invited talks presented were carefully reviewed...
sofort als Download lieferbar
eBook (pdf)
96.29 €
48 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.6447 (PDF)“
This book constitutes the refereed proceedings of the 12th International
Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,
November 2010.
The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and mod
el driven engineering, as well as specification and verification.Bibliographische Angaben
- 2010, 2010, 712 Seiten, Englisch
- Herausgegeben: Jin Song Dong, Huibiao Zhu
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642169015
- ISBN-13: 9783642169014
- Erscheinungsdatum: 09.11.2010
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 11 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.6447"
0 Gebrauchte Artikel zu „Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.6447“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.6447".
Kommentar verfassen