Name: Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)
ISBN: 9783642104510

by Oliveira, Marcel VinÃcius Medeiros, Woodcock, Jim

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)

by Oliveira, Marcel VinÃcius Medeiros, Woodcock, Jim

Marketplace Prices
New from $52.33

New
$52.33

List Price

~~$83.00~~

Discount

36% Off

You Save

$30.67

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783642104510
ISBN: 3642104517
Edition: 1
Publication Date: 2009
Publisher: Springer

AUTHOR

Oliveira, Marcel VinÃcius Medeiros, Woodcock, Jim

SUMMARY

Oliveira, Marcel VinÃcius Medeiros is the author of 'Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)', published 2009 under ISBN 9783642104510 and ISBN 3642104517.

[read more]