FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering - Jorge Cuellar - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540682356 - May 8, 2008
In case cover and title do not match, the title is correct

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering 2008 edition

Jorge Cuellar

Price
S$ 72.50
excl. VAT

Ordered from remote warehouse

Expected delivery Oct 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

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering 2008 edition

The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

436 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 8, 2008
ISBN13 9783540682356
Publishers Springer-Verlag Berlin and Heidelberg Gm
Genre Aspects (Academic) > Science / Technology Aspects
Pages 436
Dimensions 155 × 235 × 23 mm   ·   657 g
Language French  
Editor Cuellar, Jorge
Editor Maibaum, Tom
Show all

More by Jorge Cuellar

See all of Jorge Cuellar ( e.g. Paperback Book )