Name: Computer Aided Verification
SKU: 63504144
Price: 2047.00 TWD
Availability: InStock
Author: Corina S. Păsăreanu;Daniel Kroening
ISBN: 9783319216690

Select your country

Americas

Europe

Rest of the world

Type

Physical Book

Publisher

Springer Nature B.V.

Author

Corina S. Păsăreanu;Daniel Kroening

Year

2015

Language

English

Pages

488

Format

Paperback

Dimensions

23.4x15.6 cm

ISBN13

9783319216690

Computer Aided Verification

Corina S. Păsăreanu;Daniel Kroening (Author) · Springer Nature B.V. · Paperback

New Book Imported to Taiwan

Delivery: 07 Oct - 20 Oct

NT$ 2,047

NT$ 2,047

Add to Wishlist

Synopsis "Computer Aided Verification"

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.

The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Computer Aided Verification - Corina S. Păsăreanu;Daniel Kroening

Synopsis "Computer Aided Verification"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery