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

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

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 first of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topics covered include software architecture, telecommunications, security, object-orientation, model checking, the B method, and composition and synthesis.

976 pages, biography

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

Mere med samme udgiver

See all of Jeannette M Wing ( e.g. Paperback Book )