FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9783540682356: FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science)
View all copies of this ISBN edition:
 
 

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 119.00
US$ 14.40

Convert currency

Shipping: US$ 6.78
From India to U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9783540863939: FM 2008: Formal Methods

Featured Edition

ISBN 10:  3540863931 ISBN 13:  9783540863939
Publisher: Springer, 2008
Softcover

Top Search Results from the AbeBooks Marketplace

1.

Jorge Cuellar, Tom Maibaum & Kaisa Sere (Eds)
Published by Springer (2008)
ISBN 10: 354068235X ISBN 13: 9783540682356
New Soft cover Quantity Available: 1
Seller:
Books in my Basket
(New Delhi, India)
Rating
[?]

Book Description Springer, 2008. Soft cover. Condition: New. Seller Inventory # 279535

More information about this seller | Contact this seller

Buy New
US$ 14.40
Convert currency

Add to Basket

Shipping: US$ 6.78
From India to U.S.A.
Destination, rates & speeds

2.

Jorge Cuellar
Published by Springer, book
ISBN 10: 354068235X ISBN 13: 9783540682356
New Softcover Quantity Available: 1
Seller:
New Book Sale
(London, United Kingdom)
Rating
[?]

Book Description Springer, book. Softcover. Condition: New. Usually Dispatched within 1-2 Business Days , Buy with confidence , excellent customer service. Seller Inventory # 354068235X -- L718

More information about this seller | Contact this seller

Buy New
US$ 13.15
Convert currency

Add to Basket

Shipping: US$ 9.02
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

Published by Springer (2008)
ISBN 10: 354068235X ISBN 13: 9783540682356
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2008. Condition: New. book. Seller Inventory # M354068235X

More information about this seller | Contact this seller

Buy New
US$ 23.17
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

4.

jorge (editor) ; maibaum, tom (editor) cuellar
Published by Springer (2008)
ISBN 10: 354068235X ISBN 13: 9783540682356
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2008. Paperback. Condition: New. 2008. Seller Inventory # DADAX354068235X

More information about this seller | Contact this seller

Buy New
US$ 54.14
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

5.

Published by Springer
ISBN 10: 354068235X ISBN 13: 9783540682356
New Quantity Available: 4
Seller:
Books Puddle
(New York, NY, U.S.A.)
Rating
[?]

Book Description Springer. Condition: New. pp. 456. Seller Inventory # 26479026

More information about this seller | Contact this seller

Buy New
US$ 81.87
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

6.

Published by Springer
ISBN 10: 354068235X ISBN 13: 9783540682356
New Quantity Available: 4
Seller:
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description Springer. Condition: New. pp. 456 Illus. Seller Inventory # 7401709

More information about this seller | Contact this seller

Buy New
US$ 89.11
Convert currency

Add to Basket

Shipping: US$ 7.09
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Springer
Published by Springer (2008)
ISBN 10: 354068235X ISBN 13: 9783540682356
New Paperback Quantity Available: 1
Seller:
Books Express
(Portsmouth, NH, U.S.A.)
Rating
[?]

Book Description Springer, 2008. Paperback. Condition: New. 2008. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. Buy with confidence, excellent customer service!. Seller Inventory # 354068235Xn

More information about this seller | Contact this seller

Buy New
US$ 96.83
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

8.

Jorge Cuellar
Published by Springer (2008)
ISBN 10: 354068235X ISBN 13: 9783540682356
New Quantity Available: > 20
Print on Demand
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer, 2008. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783540682356

More information about this seller | Contact this seller

Buy New
US$ 107.07
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

9.

Cuellar,J., Maibaum,T. Et.Al.
Published by Springer (2008)
ISBN 10: 354068235X ISBN 13: 9783540682356
New Paperback Quantity Available: 2
Seller:
Prash International
(Mohali, India)
Rating
[?]

Book Description Springer, 2008. Paperback. Condition: New. no jacket. This book is in Brand New condition DELIVERED WITH IN 7 TO 8 WORKING DAYS THROUGH DHL FEDEX OR USPS. Seller Inventory # ABE15214

More information about this seller | Contact this seller

Buy New
US$ 97.00
Convert currency

Add to Basket

Shipping: US$ 14.12
From India to U.S.A.
Destination, rates & speeds

10.

Published by Springer (2008)
ISBN 10: 354068235X ISBN 13: 9783540682356
New Softcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer, 2008. Condition: New. Seller Inventory # L9783540682356

More information about this seller | Contact this seller

Buy New
US$ 108.29
Convert currency

Add to Basket

Shipping: US$ 4.28
From Germany to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book