Formal Methods and Software Engineering (eBook, PDF)
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Redaktion: George, Chris; Miao, Huaikou
Alle Infos zum eBook verschenken
Formal Methods and Software Engineering (eBook, PDF)
4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Redaktion: George, Chris; Miao, Huaikou
- 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 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.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 7.22MB
- Formal Methods at the Crossroads. From Panacea to Foundational Support (eBook, PDF)40,95 €
- Formal Methods and Software Engineering (eBook, PDF)73,95 €
- Formal Methods and Software Engineering (eBook, PDF)73,95 €
- Formal Methods for Open Object-Based Distributed Systems (eBook, PDF)40,95 €
- Formal Methods and Software Engineering (eBook, PDF)40,95 €
- Fundamental Approaches to Software Engineering (eBook, PDF)40,95 €
- Engineering Trustworthy Software Systems (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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
- Produktdetails
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 636
- Erscheinungstermin: 30. Juni 2003
- Englisch
- ISBN-13: 9783540361039
- Artikelnr.: 53396752
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 636
- Erscheinungstermin: 30. Juni 2003
- Englisch
- ISBN-13: 9783540361039
- Artikelnr.: 53396752
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.