Automated Technology for Verification and Analysis > Editions
by Zhiming Liu
Published September 5th 2008
by Springer
Paperback, 564 pages
Author(s):
ISBN:
9783540831846
(ISBN10: 3540831843)
ASIN:
3540831843
Edition language:
English
Average rating:
0.0
(0 ratings)
Published October 17th 2009
by Springer
Paperback, 432 pages
Author(s):
ISBN:
9783642047626
(ISBN10: 3642047629)
ASIN:
3642047629
Edition language:
English
Average rating:
0.0
(0 ratings)
