phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Computer Aided Verification

Language EnglishEnglish
Book Paperback
Book Computer Aided Verification Nicolas Halbwachs
Libristo code: 05274969
Publishers Springer, Berlin, November 1998
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aide... Full description
? points 154 b
61.56 €
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

How To Sound Intelligent In Japanese: A Vocabulary Builder Charles De Wolf / Paperback
common.buy 19.70 €
Juniper QFX5100 Series Douglas Richard Hanks / Paperback
common.buy 65.10 €
Place Value Penny Dowdy / Paperback
common.buy 9.49 €
Review of Uncle Tom's Cabin or, An Essay on Slavery A. Woodward / Hardback
common.buy 42.15 €
Blending Families Successfully George Glass / Paperback
common.buy 18.49 €
How to Live the Life You Love James Gladwin / Paperback
common.buy 11.72 €
Queequeg's Coffin Birgit Brander Rasmussen / Paperback
common.buy 30.32 €

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

About the book

Full name Computer Aided Verification
Author Nicolas Halbwachs, Doron Peled
Language English
Binding Book - Paperback
Date of issue 1999
Number of pages 506
EAN 9783540662020
ISBN 3540662022
Libristo code 05274969
Publishers Springer, Berlin
Weight 670
Dimensions 156 x 234 x 26

Categories

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

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