Automated Technology for Verification and Analysis Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004: Proceedings - Lecture Notes in Computer Science

International Symposium on Automated Technology on Verification and Analysis, Farn Wang

2004

Paperback (19 Oct 2004)

Save $16.40

RRP $124.90
$108.50

In Stock

Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004. This work addresses topics such as model-checking theory, theorem-proving theory, state-space reduction techniques, parametric analysis, and more.

Book information

ISBN:	9783540236108
Publisher:	Springer Berlin Heidelberg
Imprint:	Springer
Pub date:	19 Oct 2004
Edition:	2004
DEWEY:	620.00420285
DEWEY edition:	22
Language:	English
Number of pages:	506
Weight:	785g
Height:	234mm
Width:	156mm
Spine width:	26mm