Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Language EnglishEnglish
Book Paperback
Book FM 2006: Formal Methods Jayadev Misra
Libristo code: 01562449
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2006
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, F... Full description
? points 277 b
114.17 €
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Madoka Mágica Different, 1 HANOKAGE / Book Hardback
common.buy 8.97 €
Coloriages mystères Fleurs / Book Paperback
common.buy 21.07 €
Top
Three Cheers for Kid McGear! Sherri Duskey Rinker / Book Hardback
common.buy 11.89 €
Grundzüge der Volkswirtschaftslehre Mark P. Taylor / Book Paperback
common.buy 47.09 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name FM 2006: Formal Methods
Author Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 620
EAN 9783540372158
ISBN 3540372156
Libristo code 01562449
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 958
Dimensions 155 x 235 x 33

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Filmmaker Says Jamie Thompson Stern / Book Hardback
common.buy 28.94 €
Top
DARLING in the FRANXX Vol. 5-6 Kentaro Yabuki / Book Paperback
common.buy 15.73 €
Top
Moonology Manifestation Oracle Yasmin Boland / Printed items Cards
common.buy 17.94 €
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 Mary Knox / Book Paperback
common.buy 15.12 €
PARCC Math Workbook Reza Nazari / Book Paperback
common.buy 17.44 €
My Best Recipes Victoria Joly / Book Paperback
common.buy 18.75 €
We Are Absolutely Not Okay: Fourteen Stories by Teenagers Who Are Picking Up the Pieces Marjie Bowker / Book Paperback
common.buy 8.36 €
Arms and Armour of the Medieval Joust Tobias Capwell / Book Paperback
common.buy 10.78 €
Shakespeare's King John. with Notes, Examination Papers, and Plan of Preparation. (Selected.) Brainerd Kellogg / Book Hardback
common.buy 31.56 €
Think "Moderates!" Milton King / Book Paperback
common.buy 17.14 €
Rooftops of Tehran Mahbod Seraji / Book Paperback
common.buy 12.80 €
Top
Convoluted Universe: Book One Dolores Cannon / Book Paperback
common.buy 15.73 €
Spiritual Dimension John Cottingham / Book Paperback
common.buy 35.09 €
Hidden Gems Volume II: Contemporary Black British Plays Deirdre Osborne / Book Paperback
common.buy 24.60 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?