Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01555926
Price: 39671 HUF
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

271 b

39 671 Ft

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

10 284 Ft

L'Òscar i el drac afamat Krause

Hardback

6 020 Ft

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

Paperback

2 786 Ft

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.