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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 285 b
41 546 Ft
Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

Madoka Mágica Different, 1 HANOKAGE / Book Hardback
common.buy 3 182 Ft
Coloriages mystères Fleurs / Book Paperback
common.buy 7 460 Ft
Top
Three Cheers for Kid McGear! Sherri Duskey Rinker / Book Hardback
common.buy 4 513 Ft
Grundzüge der Volkswirtschaftslehre Mark P. Taylor / Book Paperback
common.buy 18 167 Ft

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 10 251 Ft
Top
DARLING in the FRANXX Vol. 5-6 Kentaro Yabuki / Book Paperback
common.buy 6 134 Ft
Top
Moonology Manifestation Oracle Yasmin Boland / Printed items Cards
common.buy 6 571 Ft
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 5 770 Ft
PARCC Math Workbook Reza Nazari / Book Paperback
common.buy 6 659 Ft
My Best Recipes Victoria Joly / Book Paperback
common.buy 6 645 Ft
We Are Absolutely Not Okay: Fourteen Stories by Teenagers Who Are Picking Up the Pieces Marjie Bowker / Book Paperback
common.buy 3 270 Ft
Arms and Armour of the Medieval Joust Tobias Capwell / Book Paperback
common.buy 4 062 Ft
Shakespeare's King John. with Notes, Examination Papers, and Plan of Preparation. (Selected.) Brainerd Kellogg / Book Hardback
common.buy 12 047 Ft
Think "Moderates!" Milton King / Book Paperback
common.buy 6 613 Ft
Rooftops of Tehran Mahbod Seraji / Book Paperback
common.buy 4 996 Ft
Top
Convoluted Universe: Book One Dolores Cannon / Book Paperback
common.buy 6 148 Ft
Spiritual Dimension John Cottingham / Book Paperback
common.buy 13 364 Ft
Hidden Gems Volume II: Contemporary Black British Plays Deirdre Osborne / Book Paperback
common.buy 9 449 Ft

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?