Code: 01567668

FM 2008: Formal Methods

Name: FM 2008: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567668
Price: 51.56 EUR
Availability: InStock
Author: Jorge Cuellar
ISBN: 9783540682356

by Jorge Cuellar, Tom Maibaum

Language: English
Binding: Paperback
Number of pages: 436
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008
More about this

51.56 €

RRP: 55.84 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Passion,pain & poetry
13.72 €
Buy
Brotherhood of the Rosy Cross - A History of the Rosicrucians
30.07 € -2 %
Buy
Laparoscopic Urologic Oncology
167.43 €
Buy
Adventní kalendář 2026 Toy Story
10.59 € -14 %
Pre-order
La grande escapade
23 €
Buy
White Rabbit Time
8.06 € -6 %
Buy
Henrietta Temple a Love Story
17.85 € -14 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.§The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. 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.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

51.56 €

Full title: FM 2008: Formal Methods
Subtitle: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008
Author: Jorge Cuellar, Tom Maibaum
Language: English
Binding: Paperback
Number of pages: 436
EAN: 9783540682356
ISBN: 354068235X
ID: 01567668
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 694 g
Dimensions: 235 × 155 × 25 mm
Date of publishing: 08. May 2008