Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2010
ISBN 10: 364215056XISBN 13: 9783642150562
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 364215056XISBN 13: 9783642150562
Seller: moluna, Greven, Germany
Book
Condition: New. Fast track conference proceedingUnique visibilityState of the art researchInvited Talk.- Towards Scalable Modular Checking of User-Defined Properties.- Verification Techniques.- Tressa: Claiming the Future.- Automated Verification of a Small Hypervisor.