Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2011
Language:
English
Alibris ID:
17983324219
Shipping Options:
Standard Shipping: $4.73
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science ; Programming and Software Engineering . X, 199 p. 45 illus., 1 illus. in color. Intended for professional and scholarly audience.
Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010, Paris, France, June 28-30, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6528)
