FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Name: FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN: 9783642050886

by Cavalcanti, Ana, Dams, Dennis

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by Cavalcanti, Ana, Dams, Dennis

Marketplace Prices
New from $101.14

New
$101.14

List Price

~~$143.00~~

Discount

29% Off

You Save

$41.86

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: 9783642050886
ISBN: 3642050883
Edition: 1
Publication Date: 2009
Publisher: Springer

AUTHOR

Cavalcanti, Ana, Dams, Dennis

SUMMARY

Cavalcanti, Ana is the author of 'FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)', published 2009 under ISBN 9783642050886 and ISBN 3642050883.

[read more]