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

Computer Aided Verification

6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification David L. Dill
Libristo code: 05274394
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Full description
? points 136 b
20 304 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Coming soon New
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Book Paperback
common.buy 2 735 Ft
ANTICHE DANZE ED ARIE PER LIUTO PIANO OTTORINO RESPIGHI Book binding.
common.buy 8 794 Ft
LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Book binding.
common.buy 3 885 Ft
Google adwords CAUMONT / Book Book
common.buy 12 349 Ft
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Book Paperback
common.buy 6 130 Ft
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / E-book Adobe ePub DRM
common.buy 3 169 Ft
Les cycles économiques Ferrara / Book Paperback
common.buy 11 948 Ft
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Book Paperback
common.buy 13 410 Ft
How to Stay Human in a F*cked-Up World (Spanish edition) Tim Desmond / E-book Adobe ePub DRM
common.buy 3 574 Ft
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Book Hardback
common.buy 13 980 Ft
ARANCINI KUNST Malle Raudsepp / Book Paperback
common.buy 12 995 Ft
BASICS Psychiatrie Anja Volz / Book Paperback
common.buy 10 109 Ft
autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Book Paperback
common.buy 7 865 Ft
La Bíblia de tots Pilarín Bayés / Book Paperback
common.buy 11 137 Ft
13 Gesetze der Weisheit Kim Barkmann / Book Paperback
common.buy 6 040 Ft
Werner Herzog, 3 DVDs Werner Herzog / Video DVD
common.buy 7 389 Ft
On Opened Ground Mark-Anthony Turnage / Printed items Sheet music
common.buy 17 418 Ft
Citadino Mistico MOISES RODRIGUEZ / Book Paperback
common.buy 3 272 Ft
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Book Paperback
common.buy 6 068 Ft
Geschichtsbilder Jürgen Aretz / Book Paperback
common.buy 4 772 Ft
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Book Paperback
common.buy 12 363 Ft
Historia del mundo en el siglo XX : a través de las grandes biografías, novelas y películas Onésimo Díaz Hernández / Book Paperback
common.buy 9 030 Ft
El caballo, cría y manejo Enzo Berner / Book Paperback
common.buy 9 030 Ft
Autobiografía de mi madre Jamaica Kincaid / Book Paperback
common.buy 7 940 Ft

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

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 David L. Dill
Language English
Binding Book - Paperback
Date of issue 1994
Number of pages 486
EAN 9783540581796
ISBN 3540581790
Libristo code 05274394
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1520
Dimensions 155 x 235 x 26

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer hardware > Network hardware
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

Topology Optimization Martin Ph. Bendsoe / Book Paperback
common.buy 56 638 Ft
Open Heart Surgery Carlos Robinson / Book Paperback
common.buy 7 115 Ft
Sparkcharts Calculus II Sparknotes LLC / Book Paperback
common.buy 2 556 Ft
Roadside History Thomas H. Appleton Jr / Book Paperback
common.buy 7 912 Ft
Love Scrolls Edward Theodore Hayes / Book Hardback
common.buy 8 016 Ft
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Book Paperback
common.buy 9 030 Ft
Sparky the Rescue Dog Saves the Day Gail Westover / Book Paperback
common.buy 4 395 Ft
Broadway Michelle Young / Book Hardback
common.buy 9 793 Ft
Manual of Prayers / Book Hardback
common.buy 20 888 Ft
Handbook of Anti-Aging Medicine Mike Ks Chan / Book Paperback
common.buy 74 297 Ft
Exposition of Browning's 's Ordello' David Duff / Book Hardback
common.buy 13 085 Ft
Top
Golden Kamuy, Vol. 1 Satoru Noda / Book Paperback
common.buy 4 560 Ft
Memorials of the Civil War: Comprising the Correspondence of the Fairfax Family with the Most Distinguished Personages Engaged in That Memorable C Robert Bell / Book Paperback
common.buy 10 901 Ft
The Monastery Walter Scott / Book Paperback
common.buy 9 690 Ft
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Book Paperback
common.buy 6 865 Ft
My Mother, The Liar Ann Troup / E-book Adobe ePub DRM
common.buy 2 226 Ft
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Book Paperback
common.buy 7 568 Ft
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Book Paperback
common.buy 6 955 Ft
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Book Paperback
common.buy 25 000 Ft
Startup CEO Matt Blumberg / Book Hardback
common.buy 9 360 Ft
Secure And Policy Compliant Source Routing Rahul D / Book Paperback
common.buy 19 379 Ft
First Generation Student Experience Jeff Davis / Book Paperback
common.buy 18 691 Ft
Coming soon
Advanced Metallization Conference 2003 (AMC 2003): Volume 19 G. W. RayT. S. SmyT. OhtaM. Tsujimura / Book Hardback
common.buy 9 360 Ft
Harrisons Manual of Oncology 2/E Bruce Chabner / Book Paperback
common.buy 40 192 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