Code: 01562449

FM 2006: Formal Methods

Name: FM 2006: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562449
Price: 109.44 EUR
Availability: InStock
Author: Jayadev Misra
ISBN: 9783540372158

by Jayadev Misra, Tobias Nipkow, Emil Sekerinski

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

109.44 €

Low in stock at our supplier
Shipping in 13 - 18 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

DARLING in the FRANXX Vol. 5-6
14.76 € -25 %
Buy
Convoluted Universe: Book One
14.86 € -24 %
Buy
Moonology Manifestation Oracle
17.09 € -26 %
Buy
Three Cheers for Kid McGear!
11.93 € -25 %
Buy
Rooftops of Tehran
12.03 € -25 %
Buy
Coloriages mystères Fleurs
21.13 €
Buy
Arms and Armour of the Medieval Joust
10.81 € -24 %
Buy
Madoka Mágica Different, 1
8.99 €
Buy
Filmmaker Says
29.02 €
Buy
Spiritual Dimension
33.57 €
Buy
Grundzüge der Volkswirtschaftslehre
47.23 € -6 %
Buy
Think "Moderates!"
16.18 € -17 %
Buy
Vegan Keto Diet for Beginners: The Simplest Plant Based Diet for a Healthy Mind and Body. With Diet Plan, Meal Plan, Meal Prep and Whole Foods Cookbo
14.35 € -6 %
Buy
We Are Absolutely Not Okay: Fourteen Stories by Teenagers Who Are Picking Up the Pieces
7.88 € -25 %
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 265 loyalty points

Book synopsis

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.

Book details

Book category Books in English Computing & information technology Computer programming / software development

109.44 €

Full title: FM 2006: Formal Methods
Subtitle: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Author: Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Language: English
Binding: Paperback
Number of pages: 620
EAN: 9783540372158
ISBN: 3540372156
ID: 01562449
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 958 g
Dimensions: 235 × 155 × 33 mm
Date of publishing: 10. August 2006