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)

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