Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. ... (Lecture Notes in Computer Science, 3299)
Product ID: 3540236104
Condition: New
$ 327
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
ozow
Product Description
Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. ... (Lecture Notes in Computer Science, 3299)
Technical Specifications
Country
USA
Brand
Springer
Manufacturer
Springer
Binding
Paperback
PartNumber
biography
IsAdultProduct
Height
9.25
Length
6.1
Weight
1.69976404002
Width
1.19
ReleaseDate
2004-10-19T00:00:01Z
NumberOfItems
1







