Fm 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings - Lecture Notes in Computer Science - World Congress on Formal Methods in the Development of Computing Systems - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540665885 - September 13, 1999
In case cover and title do not match, the title is correct

World Congress on Formal Methods in the Development of Computing Systems
Fm 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings - Lecture Notes in Computer Science 1999 edition

Price
$ 122.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 8 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

The second of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topical sections include program verification, integration of notation and techniques, open information systems, co-design, refinement, safety and avionics.

942 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 13, 1999
ISBN13 9783540665885
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 942
Dimensions 156 × 234 × 48 mm   ·   1.32 kg
Language English  
Editor Davies, Jim
Editor Wing, Jeannette M.
Editor Woodcook, Jim

Mere med samme udgiver

See all of World Congress on Formal Methods in the Development of Computing Systems ( e.g. Paperback Book )