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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Formal Methods: Applications and Technology

11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Sel

Language EnglishEnglish
Book Paperback
Book Formal Methods: Applications and Technology Lubos Brim
Libristo code: 01568175
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Bourvil Mareska / Book Paperback
common.buy 24.79 €
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Book Hardback
common.buy 8.90 €
Terra magica Ostsee-Kreuzfahrt Christian Prager / Book Hardback
common.buy 20.59 €
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Book Paperback
common.buy 18.95 €
Correspondance de Champ Libre T. 1 collegium / Book Paperback
common.buy 15.39 €
Direkt plus 3B. Podręcznik praca zbiorowa / Book Paperback
common.buy 12.09 €
Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau / Book Paperback
common.buy 29.99 €
Rozdělení Československa 1989-1992 Jan Rychlík / Book Hardback
common.buy 24.69 €
Flussschiffbau Wilhelm Teubert / Book Paperback
common.buy 98.00 €
Ontologie und Dialektik Theodor W. Adorno / Book Paperback
common.buy 22.00 €
Der Einarmige, sein Alligator und die sonnigen Seiten des Lebens Ken Pisani / E-book Adobe ePub DRM
common.buy 11.99 €
¿Puedo mirar tu chupete? Guido van Genechten / Book Hardback
common.buy 14.29 €
Zápisník s gumičkou A4 210x290 mm africké masky / Book binding.
common.buy 9.69 €
Blut und Feuer Michael Gratzke / Book Paperback
common.buy 31.69 €
Die Filmdeutung als Weg zum Selbst Otto Teischel / Book Hardback
common.buy 63.90 €
Reliéfní pasta 3D IZINK - geranium, růžová, 80 ml / Stationery items Stationery items
common.buy 5.79 €
In Auschwitz Sima Vaisman / Book Hardback
common.buy 18.49 €
Capilla de San Roque y Su Viejo Hospital de San Roque y La Asuncion Nancy Elizabeth Juncos / Book Paperback
common.buy 36.49 €
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Book Paperback
common.buy 76.29 €
Unsere Erde - Gymnasium Baden-Württemberg - 9./10. Schuljahr Henriette Dieterle / Book Hardback
common.buy 41.09 €
Niebla Miguel De Unamuno / Book Paperback
common.buy 14.49 €
Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman / Book Paperback
common.buy 15.99 €
Die blinden Flecken der RAF Wolfgang Kraushaar / Book Hardback
common.buy 25.00 €

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

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 Formal Methods: Applications and Technology
Author Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Language English
Binding Book - Paperback
Date of issue 2007
Number of pages 366
EAN 9783540709510
ISBN 3540709517
Libristo code 01568175
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 575
Dimensions 155 x 235 x 22

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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 > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Enterprise Architecture Martin Op't Land / Book Paperback
common.buy 60.09 €
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Book Hardback
common.buy 1 416.69 €
International Comparisons of Energy Consumption Joy Dunkerley / Book Paperback
common.buy 58.29 €
Principles of Protein-Protein Association Harold Erickson / Book Hardback
common.buy 171.89 €
Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille / Book Paperback
common.buy 39.69 €
Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston / Book Paperback
common.buy 19.19 €
Madison Lexy Timms / Book Paperback
common.buy 10.69 €
Official History of Australia in the War of 1914-1918 C. E. W. BEAN / Book Paperback
common.buy 73.09 €
Courts-Martial Amendments to Articles of War. Hearing Before a Special Subcommittee of the Committee on Military Affairs House of Representatives Sixt E H Crowder / Book Paperback
common.buy 13.29 €
Scottish Law of Conveyancing: Heritable Rights. John Craigie / Book Paperback
common.buy 24.89 €
Nature and Essence of Economic Theory Joseph A. Schumpeter / Book Paperback
common.buy 65.89 €
How to Draw: Easy Techniques and Step-By-Step Drawings for Kids Aaria Baid / Book Paperback
common.buy 11.89 €
Competing Visions of India in World Politics K. Sullivan / Book Paperback
common.buy 106.09 €
International Abstracts of Surgery, Volume 27 Anonymous / Book Hardback
common.buy 41.59 €
Advertising and Race Linda C. L. Fu / Book Paperback
common.buy 48.89 €
DIE INSZENIERUNG DER ALLTAGSWELT WERNER DURTH / Book Paperback
common.buy 31.59 €
Common Characteristics and Unique Qualities in Preschool Programs Sue C Wortham / Book Paperback
common.buy 107.29 €
God Spoken Wisdom to Heal Our Souls Rick Kent / Book Paperback
common.buy 13.59 €
Guilford Guilford Keeping Society / Book Paperback
common.buy 21.89 €
ASP.NET Core 2.2 MVC, Razor Pages, API, JSON Web Tokens & HttpClient: How to Build a Video Course Website Jonas Fagerberg / Book Paperback
common.buy 20.09 €
Equipoise: Insights Into Foundational Astral Training Julian Rees / Book Paperback
common.buy 13.59 €
Buying Multi Family Homes for Investment with Homes for sale in Texas Shawn Mahoney / Book Paperback
common.buy 11.89 €
Four Sons Of Norway Helen Acker / Book Paperback
common.buy 29.89 €
How to Change Everything: The Young Human's Guide to Protecting the Planet and Each Other Rebecca Stefoff / Book Hardback
common.buy 15.79 €

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?