Computer Aided Verification

Name: Computer Aided Verification
SKU: 2807139
Price: 139.99 AUD
Availability: InStock

3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

Format:

Paperback / softback

Series:

Lecture Notes in Computer Science,

Show Hide Adult Content

$139.99

RRP:: ~~$203.95~~ save $63.96

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $35.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 9-19 July using International Courier

Description

This volume contains the proceedings of the thirdInternational Workshop on Computer Aided Verification, CAV'91, held in Aalborg, Denmark, July 1-4, 1991. The objectiveof this series of workshops is to bring together researchersand practitioners interested in the development and use ofmethods, tools and theories for automatic verification of(finite) state systems. The workshop provides a uniqueopportunity for comparing the numerous verification methodsand associated verification tools, and the extent to whichthey may be utilized in application design. The emphasis isnot only on new research results but also on the applicationof existing results to real verification problems. The papers in the volume areorganized into sections onequivalence checking, model checking, applications, toolsfor process algebras, the state explosion problem, symbolicmodel checking, verification and transformation techniques,higher order logic, partial order approaches, hardwareverification, timed specification and verification, andautomata.

Release date Australia

April 22nd, 1992

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational
Undergraduate

Contributors

Edited by Arne Skou
Edited by Kim G. Larsen

Illustrations

XI, 493 p.

Pages

493

Series

Lecture Notes in Computer Science,

Dimensions

155x233x25

ISBN-13

9783540551799

Product ID

2807139

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Computer Aided Verification

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*