Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01555926
Price: 102.97 EUR
Availability: InStock
Author: Chris George
ISBN: 9783540000297

4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Chris George

Huaikou Miao

Language

English

Book Paperback

Libristo code: 01555926

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2002

This book constitutes the refereed proceedings of the 4th International Conference on Formal Enginee... Full description

Libristo code: 01555926

249 b

102.97 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Geschichte Der Gewerbe C. G. Rehlen

Paperback

26.90 €

L'Òscar i el drac afamat Krause

Hardback

16.98 €

Spektrum Psychologie - Kann die Persönlichkeit krank machen? Spektrum der Wissenschaft

Paperback

7.88 €

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.