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

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Ed Brinksma
Libristo code: 01564506
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... Full description
? points 249 b
37 512 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins / Book Paperback
common.buy 2 677 Ft
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Book Paperback
common.buy 14 830 Ft
20.000 leguas de viaje submarino Jules Verne / Book Hardback
common.buy 5 782 Ft
Magdeburger Drogenmarkt Sven Paschke / Book Paperback
common.buy 12 376 Ft
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Game/Toy Game
common.buy 15 490 Ft
L'orchestre des animaux joue Vivaldi - dès 3 ans Sam Taplin / Book Book
common.buy 6 580 Ft
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Book Paperback
common.buy 11 274 Ft
Coming soon
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Book Hardback
common.buy 9 015 Ft
Model dydaktyczny dotycz¿cy kszta¿cenia zawodowego w dziedzinie po¿o¿nictwa Carmen Hild-Schober / Book Paperback
common.buy 20 095 Ft
O Livro de Metatron - O Anjo da Presença Max Stone / Book Paperback
common.buy 6 110 Ft
¡De vacaciones! PETER KNORR / Book Paperback
common.buy 6 143 Ft
Stein Unter Steinen: Schauspiel in 4 Akten Hermann Sudermann / Book Paperback
common.buy 7 586 Ft
Tiere und ihr Zuhause Claudia Boldt / Game/Toy Game
common.buy 5 193 Ft
Coming soon
Čeho bychom se měli obávat? John Brockman / Book Paperback
common.buy 4 410 Ft
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Book Paperback
common.buy 25 620 Ft
Science Fiction Stories Jürgen Schnaible / Book Paperback
common.buy 12 960 Ft
Pomsta za neveru Inéz Melichová / Book Hardback
common.buy 3 807 Ft
Hayaller Gemisi Koray Avci cakman / Book Paperback
common.buy 2 863 Ft
Lean Management Andreas Kammel / Book Paperback
common.buy 15 490 Ft
Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909 / Book Paperback
common.buy 11 051 Ft
Gipfel der Götter. Bd.1 Jiro Taniguchi / Book Paperback
common.buy 5 858 Ft
Abenteuer des schwarzen Gerard 2 Karl May / Book Hardback
common.buy 9 755 Ft
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Book Hardback
common.buy 8 146 Ft
Journal Martin du Gard / Book Hardback
common.buy 25 530 Ft

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

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 Ed Brinksma, Kim G. Larsen
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 362
EAN 9783540439974
ISBN 3540439978
Libristo code 01564506
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 2010
Dimensions 155 x 233 x 36

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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
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

Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Book Paperback
common.buy 77 330 Ft
Let's Find Momo! Andrew Knapp / Book Board book
common.buy 3 370 Ft
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Book Hardback
common.buy 15 385 Ft
SAXON MATH COURSE 1 Saxpub / Book Hardback
common.buy 82 358 Ft
Taste of Home How Do I Make...? Editors at Taste of Home / Book Paperback
common.buy 6 622 Ft
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Book Paperback
common.buy 6 893 Ft
Under the Gaslight Augustin Daly / Book Paperback
common.buy 4 590 Ft
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Book Paperback
common.buy 4 064 Ft
Cheerleading Kaitlyn Duling / Book Hardback
common.buy 12 917 Ft
Pediatric Dysphagia Julina Ongkasuwan / Book Hardback
common.buy 51 349 Ft
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Book Paperback
common.buy 4 847 Ft
Housing in Taiwan William D.H. Li / Book Hardback
common.buy 67 380 Ft
Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Book Paperback
common.buy 5 269 Ft
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Book Paperback
common.buy 11 592 Ft
Hawaiian Chihuahua Ukulele Tabs / Book Paperback
common.buy 3 703 Ft
This Is Not A Book Keri Smith / Book Paperback
common.buy 7 016 Ft
Sunkisses Larsee H Mac / Book Paperback
common.buy 5 858 Ft
Top
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Book Hardback
common.buy 7 856 Ft
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Book Paperback
common.buy 10 928 Ft
Epic Drives of the World 1 Lonely planet eng / Book Paperback
common.buy 6 219 Ft
Inspired Winsome James / Book Paperback
common.buy 7 163 Ft
LITTLE BUSINESS BOOKS CHANGE FRANKLIN WATTS / Book Paperback
common.buy 4 486 Ft
Torchwood The Men Who Sold The World Guy Adams / Audiobook MP3
common.buy 2 919 Ft
Crime for the Books Kate Young / E-book Adobe ePub DRM
common.buy 6 518 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?