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
DPD courier 4.99 € GLS courier 9.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 125 b
51.38 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Bourvil Mareska / Book Paperback
common.buy 22.62 €
Jaké to tenkrát bylo aneb Co se stalo v roce, kdy jste se narodili 1983 / Book Paperback
common.buy 3.61 €
¿Puedo mirar tu chupete? Guido van Genechten / Book Hardback
common.buy 15.48 €
Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman / Book Paperback
common.buy 15.28 €
Johann Hinrich Wichern Hermann Petrich / Book Paperback
common.buy 17.79 €
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Book Hardback
common.buy 8.14 €
Ontologie und Dialektik Theodor W. Adorno / Book Paperback
common.buy 19.60 €
Abhandlungen aus der Griechischen Geschichte. Max Duncker / Book Paperback
common.buy 56.21 €
SOS meteoros EDGAR P. JACOBS / Book Paperback
common.buy 18.09 €
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Book Paperback
common.buy 72.50 €
Rozdělení Československa 1989-1992 Jan Rychlík / Book Hardback
common.buy 23.42 €
Top
Zrozeni k chůzi James Earls / Book Hardback
common.buy 8.14 €
Plíseň Siri Pettersenová / Book Hardback
common.buy 11.96 €
Felek i Tola i urodziny Henia Sylvia Vanden Heede / Book Hardback
common.buy 7.13 €
Die blinden Flecken der RAF Wolfgang Kraushaar / Book Hardback
common.buy 21.01 €
Dopisy hledajícího probuzení René Daumal / Book Paperback
common.buy 9.65 €
Capilla de San Roque y Su Viejo Hospital de San Roque y La Asuncion Nancy Elizabeth Juncos / Book Paperback
common.buy 34.69 €

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

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 357.36 €
Enterprise Architecture Martin Op't Land / Book Paperback
common.buy 57.22 €
Harald Szeemann - Museum of Obsessions Glenn Phillips / Book Hardback
common.buy 63.35 €
Molecular Research of Endometrial Pathophysiology PAOLA VIGAN / Book Paperback
common.buy 72.30 €
Twelve Horses For Julia LARA MALMQVIST / Book Paperback
common.buy 13.47 €
How to Draw: Easy Techniques and Step-By-Step Drawings for Kids Aaria Baid / Book Paperback
common.buy 11.56 €
God Spoken Wisdom to Heal Our Souls Rick Kent / Book Paperback
common.buy 12.96 €
Principles of Protein-Protein Association Harold Erickson / Book Hardback
common.buy 165.64 €
Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille / Book Paperback
common.buy 38.01 €
Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston / Book Paperback
common.buy 18.30 €
Madison Lexy Timms / Book Paperback
common.buy 10.25 €
"Desert Storm" The Devil's Harvest: My prayers, "1st Gulf War" (The 100 hour war.) MR Harvey Carroll Jr / Book Paperback
common.buy 7.54 €
Official History of Australia in the War of 1914-1918 C. E. W. BEAN / Book Paperback
common.buy 67.98 €
Equipoise: Insights Into Foundational Astral Training Julian Rees / Book Paperback
common.buy 12.97 €
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 12.57 €
Scottish Law of Conveyancing: Heritable Rights. John Craigie / Book Paperback
common.buy 23.63 €
Nature and Essence of Economic Theory Joseph A. Schumpeter / Book Paperback
common.buy 68.38 €
International Comparisons of Energy Consumption Joy Dunkerley / Book Paperback
common.buy 58.52 €
Sweet Dreams: In the Mind of a Serial Killer January Valentine / Book Paperback
common.buy 13.88 €
Single Cell Analysis in Biotechnology and Systems Biology Fan-Gang Tseng / Book Hardback
common.buy 59.23 €
Wiclif And Hus (1884) Johann Loserth / Book Hardback
common.buy 50.30 €
Archaeology of the Oasis Alejandro F. Haber / Book Paperback
common.buy 96.64 €
Physics for Scientists & Engineers with Modern Physics, Volume 3 (Chapters 36-44), Global Edition Douglas Giancoli / Book Paperback
common.buy 68.58 €
This Side of Paradise - Easy English Story for Beginners (Level A1/A2) Grzegorz Michalski / Book Paperback
common.buy 7.63 €

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?