Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

FM 2008: Formal Methods

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

15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008

Jorge Cuellar

Tom Maibaum

Language

English

Book Paperback

Libristo code: 01567668

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2008

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F... Full description

Libristo code: 01567668

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Nachhilfe Mathematik - Teil 2: Bruchrechnen und Dezimalzahlen Erich Bulitta

Paperback

14.99 €

Passion,pain & poetry Sabine Seide/Müller

Audio CD

14.29 €

Sur Un Lithotriteur Courbe, Fort Simple Et Sur Une Modification Du Brisepierre, de M. Jacobson SEGALAS D'ETCHEPARE-P-S

Paperback

13.19 €

La grande escapade Blondel

Paperback

23.69 €

Телефонна агітація Noe Spies

Adobe ePub DRM

11.89 €

Adventní kalendář 2026 Toy Story

binding.

13.59 €

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.