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.99 € GLS courier 5.49 € DPD courier 4.99 € DPD point 3.99 €
phone Contact phoneHow to shop

Computer Aided Verification

Fourth International Workshop CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Gregor von Bochmann
Libristo code: 05274299
Publishers Springer, Berlin, November 1992
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), h... Full description
? points 125 b
51.09 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Taška nákupní skládací 50x42cm "Miluj a žij" Sri Chinmoy / Game/Toy Toy
common.buy 7.19 €
Just ONE more chapter - Mein Bookjournal / Book Hardback
common.buy 15.00 €
K VOPROSU O POVEDENII GEODEZIChESKIH NA GIPERBOLIChESKIH MNOGOOBRAZIYaH Vladimir Vasil'ewich Balkan / Book Paperback
common.buy 65.89 €
Top
Kdyně Bohuslav Balcar / Book Paperback
common.buy 3.99 €
Petit Trésor - Outils et alliés de sorcière Rebecca De Geetere / Book Hardback
common.buy 12.29 €
SIS (Soft Is Strong) - Strong Ver. Katseye / Audio Audio CD
common.buy 31.39 €
Maravillas de Latinoamérica Digital Polyglot / Book Paperback
common.buy 15.99 €
Grammatica per ragazzi Mina Ricci / Book Paperback
common.buy 20.19 €
Antropologia de la ciudad Lluis Duch / E-book Adobe ePub DRM
common.buy 16.60 €
De dioses a demonios : la demonización de los dioses prehispánicos en el arte indígena cristiano Jose Luis Perez Flores / E-book Adobe ePub DRM
common.buy 20.30 €
Groß werden mit den Schlümpfen: Der Schlumpf, der nicht nett war Peyo / E-book Adobe ePub DRM
common.buy 6.49 €
DISNEY. 5 MINUTOS PARA SOÑAR. GRANDES CLÁSICOS Disney / Book Paperback
common.buy 11.89 €
PAW Paw Patroller 3.0 / Game/Toy Toy
common.buy 100.69 €
El Cristal de la Melancolía: Primer invierno 2010 William Acevedo Fernandez / Book Paperback
common.buy 18.59 €
Que el discreto se admire de la invención Giussani / Book Paperback
common.buy 11.89 €
Psicología del género : implicaciones en la vida cotidiana María Pilar . . . [et al. ] Matud Aznar / Book Paperback
common.buy 16.99 €
Atención y gestión de llamadas entrantes en un servicio de teleasistencia : optimización del servicio al usuario JESSICA ANDRES SENDRA / Book Paperback
common.buy 27.59 €
Das Tagegeld in der Krankenversicherung als Schadens- oder Summenversicherung Thomas Adler / Book Paperback
common.buy 113.99 €
2084. El fin del mundo BOUALEM SANSAL / Book Paperback
common.buy 27.39 €
L'Assommoir Emilie Zola / Book Paperback
common.buy 34.99 €
Premiere Chasse de Jujules Et Son Lendemain Hetzel-P-J / Book Paperback
common.buy 14.09 €
Histoire de la Vie Et Des Ouvrages de Francois Bacon. T. 2 Jean-Baptiste De Vauzelles / Book Paperback
common.buy 24.09 €
1493 - 1815 Wilhelm G. Grewe / Book Hardback
common.buy 299.00 €
UNA HISTORIA DEL MUNDO ANDREW MARR / Book Hardback
common.buy 32.69 €

This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July, 1992. The objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for the computer-aided verification of concurrent systems. The workshops provide an opportunity for comparing various verification methods and practical tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing results to real verification problems.The volume contains 31 papers selected from 75 submissions.These are organized into parts on reduction techniques, proof checking, symbolic verification, timing verification, partial-order approaches, case studies, model and proofchecking, and other approaches. The volume starts with an invited lecture by Leslie Lamport entitled "Computer-hindered verification (humans can do it too)".

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 Computer Aided Verification
Author Gregor von Bochmann, David K. Probst
Language English
Binding Book - Paperback
Date of issue 1993
Number of pages 426
EAN 9783540564966
ISBN 3540564969
Libristo code 05274299
Publishers Springer, Berlin
Weight 574
Dimensions 155 x 233 x 22

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

New Model of the Universe P. D. Ouspenský / Book Paperback
common.buy 46.09 €
The Complete Prose Works Of Walt Whitman Whitman Walt Former Owner / Book Hardback
common.buy 57.09 €
Bringing Forth Light in a Dark World: An Uri L'Tzedek Chanukah Reader Uri L'Tzedek / Book Paperback
common.buy 14.29 €
Christian's Primary Obligation HUGH BINNING / Book Paperback
common.buy 6.19 €
Cute and Playful Patterns Coloring Book Young Dreamers Press / Book Paperback
common.buy 12.19 €
Uneasy Money EDWARD H. FAULKNER / Book Paperback
common.buy 23.59 €
Voyage Dans Les Etats Unis D'Amerique Fait En 1795, 1796 Et 1797. Volume 6 of 8 Fran Ois-Al La Rochefoucauld-Liancourt / Book Paperback
common.buy 23.99 €
Contemporary Portraits EDMOND DE PRESSENS / Book Paperback
common.buy 26.49 €
PRAYER - The Word Become Flesh: Friendship with Jesus and The Problem with Prayer Barbara Van Den Akker / Book Paperback
common.buy 7.29 €
Life Of General Sir Charles Napier (1885) William Napier Bruce / Book Hardback
common.buy 49.69 €
Age of Exploration Ben Thompson / Book Paperback
common.buy 10.79 €
Judicial Interpretation of Political Theory: A Study in the Relation of the Courts to the American Party System. William Bennett Bizzell / Book Paperback
common.buy 27.59 €
Psychological Assessment and the Priestly and Religious Formation: Myths and Facts Angela a Egbikuadje / Book Paperback
common.buy 11.69 €
HOUGHTON MIFFLIN READING LEVEL Houghton Mifflin Company / Book Hardback
common.buy 50.01 €
Sherlock Holmes Mystery Magazine #20 Special Super-Sized Anniversary Edition Marvin Kaye / Book Paperback
common.buy 14.99 €
Awakening Nakala Akasie / Book Paperback
common.buy 14.99 €
American Hemp Jen Hobbs / E-book Adobe ePub DRM
common.buy 14.10 €
Singular Eric Warren / E-book Adobe ePub DRM
common.buy 3.69 €
Fallen Feathers Adam Howorth / Book Hardback
common.buy 23.29 €
Manual of Museum Management: For Museums in Dynamic Change Gail Dexter Lord / Book Hardback
common.buy 112.09 €
Entanglements of Rare Diseases in the Baltic Sea Region Malgorzata Rajtar / Book Hardback
common.buy 105.59 €
The Spider Book: A Manual for the Study of the Spiders and Their Near Relatives, the Scorpions, Pseudoscorpions, Whip-Scorpions, Harves John Henry Comstock / Book Paperback
common.buy 31.49 €
The Letters of Henry James (volume I) Percy Lubbock / Book Paperback
common.buy 21.59 €
Top
Fundamentals of Physics, Twelfth Edition, Extended International Adaptation Halliday / Book Paperback
common.buy 94.39 €

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?