Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.2495 (PDF)
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002.
The 43 revised full papers and 16 revised short papers presented together with 5 invited...
The 43 revised full papers and 16 revised short papers presented together with 5 invited...
sofort als Download lieferbar
eBook (pdf)
Fr. 118.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.2495 (PDF)“
This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002.
The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.
The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.
Bibliographische Angaben
- 2003, 2002, 636 Seiten, Englisch
- Herausgegeben: Chris George, Huaikou Miao
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540361030
- ISBN-13: 9783540361039
- Erscheinungsdatum: 30.06.2003
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 7.05 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.2495"
0 Gebrauchte Artikel zu „Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.2495“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods and Software Engineering / Lecture Notes in Computer Science Bd.2495".
Kommentar verfassen