Fm 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2 6, 2009, Proceedings (Lecture Notes In Computer Science / Programming And Software Engineering)

All Formats & Editions

1 - 3 of 3 results found

Sort by:

FM 2009: Formal Methods

By Ana Cavalcanti

Edition Details

Format:Paperback

Language:English

ISBN:3642050883

Format: Paperback

Condition:

109.99

Quantity:

FM 2009: Formal Methods

By Ana Cavalcanti

Edition Description

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in...

Edition Details

Format:Paperback

Language:English

ISBN:B0068H7K2A

Format: Paperback

Temporarily Unavailable

0 people are interested in this title.

We receive fewer than 1 copy every 6 months.

FM 2009: Formal Methods

By Ana Cavalcanti

Edition Description

Edition Details

Format:Paperback

Language:English

ISBN:B06XRYMX2H

Format: Paperback

Temporarily Unavailable

0 people are interested in this title.

We receive fewer than 1 copy every 6 months.

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $20. ThriftBooks.com. Read more. Spend less.

Copyright © 2026 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ^® and the ThriftBooks ^® logo are registered trademarks of Thrift Books Global, LLC

All Formats & Editions

FM 2009: Formal Methods

FM 2009: Formal Methods

FM 2009: Formal Methods

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us