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

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

Price
S$ 73
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 8 - 20, 2026
Christmas presents can be returned until 31 January

Our customers say:

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

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

More by Jorge Cuellar

Show all

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