Automated Technology for Verification and Analysis > Editions

by Zhiming Liu

Sort by

Format

Language

Editions

Showing 1-2 of 2

Automated Technology for Verification and Analysis (Paperback)

Published September 5th 2008 by Springer

Paperback, 564 pages

Author(s):

Susanne Graf (editor)

ISBN:

9783540831846 (ISBN10: 3540831843)

ASIN:

3540831843

Edition language:

English

Average rating:

0.0 (0 ratings)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Automated Technology for Verification and Analysis (Paperback)

Published October 17th 2009 by Springer

Paperback, 432 pages

Author(s):

Zhiming Liu (Editor)

ISBN:

9783642047626 (ISBN10: 3642047629)

ASIN:

3642047629

Edition language:

English

Average rating:

0.0 (0 ratings)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars