Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November ... (Lecture Notes in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9783319117362: Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November ... (Lecture Notes in Computer Science)
View all copies of this ISBN edition:
 
 

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

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

Buy New View Book
List Price: US$ 79.99
US$ 66.47

Convert currency

Shipping: US$ 9.80
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Stephan Merz (editor), Jun Pang (editor)
Published by Springer International Publishing 2014-09-23, Cham (2014)
ISBN 10: 331911736X ISBN 13: 9783319117362
New paperback Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer International Publishing 2014-09-23, Cham, 2014. paperback. Condition: New. Seller Inventory # 9783319117362

More information about this seller | Contact this seller

Buy New
US$ 66.47
Convert currency

Add to Basket

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

2.

Merz, Stephan (Edited by)/ Pang, Jun (Edited by)
Published by Springer (2014)
ISBN 10: 331911736X ISBN 13: 9783319117362
New Paperback Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer, 2014. Paperback. Condition: Brand New. 9.00x6.00x1.00 inches. In Stock. Seller Inventory # __331911736X

More information about this seller | Contact this seller

Buy New
US$ 74.00
Convert currency

Add to Basket

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

3.

STEPHAN MERZ
Published by Springer (2014)
ISBN 10: 331911736X ISBN 13: 9783319117362
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2014. Paperback. Condition: NEW. 9783319117362 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0842102

More information about this seller | Contact this seller

Buy New
US$ 74.01
Convert currency

Add to Basket

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

4.

Merz, Stephan
Published by Springer International Publishing AG (2014)
ISBN 10: 331911736X ISBN 13: 9783319117362
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer International Publishing AG, 2014. 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-9783319117362

More information about this seller | Contact this seller

Buy New
US$ 81.64
Convert currency

Add to Basket

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

5.

Stephan Merz
Published by Springer International Publishing AG (2014)
ISBN 10: 331911736X ISBN 13: 9783319117362
New Quantity Available: > 20
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer International Publishing AG, 2014. PAP. Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Seller Inventory # S0-9783319117362

More information about this seller | Contact this seller

Buy New
US$ 75.66
Convert currency

Add to Basket

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

6.

Published by Springer (2014)
ISBN 10: 331911736X ISBN 13: 9783319117362
New Softcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer, 2014. Condition: New. Seller Inventory # L9783319117362

More information about this seller | Contact this seller

Buy New
US$ 88.90
Convert currency

Add to Basket

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

7.

Stephan Merz
Published by Springer-Verlag Gmbh Sep 2014 (2014)
ISBN 10: 331911736X ISBN 13: 9783319117362
New Taschenbuch Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer-Verlag Gmbh Sep 2014, 2014. Taschenbuch. Condition: Neu. Neuware - This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support. 460 pp. Englisch. Seller Inventory # 9783319117362

More information about this seller | Contact this seller

Buy New
US$ 88.90
Convert currency

Add to Basket

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

8.

Stephan Merz
Published by Springer-Verlag Gmbh Sep 2014 (2014)
ISBN 10: 331911736X ISBN 13: 9783319117362
New Taschenbuch Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Sep 2014, 2014. Taschenbuch. Condition: Neu. Neuware - This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support. 460 pp. Englisch. Seller Inventory # 9783319117362

More information about this seller | Contact this seller

Buy New
US$ 88.90
Convert currency

Add to Basket

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

9.

Stephan Merz
Published by Springer-Verlag Gmbh Sep 2014 (2014)
ISBN 10: 331911736X ISBN 13: 9783319117362
New Taschenbuch Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Sep 2014, 2014. Taschenbuch. Condition: Neu. Neuware - This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support. 460 pp. Englisch. Seller Inventory # 9783319117362

More information about this seller | Contact this seller

Buy New
US$ 88.90
Convert currency

Add to Basket

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

10.

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

Book Description Springer, 2014. Condition: New. book. Seller Inventory # M331911736X

More information about this seller | Contact this seller

Buy New
US$ 115.99
Convert currency

Add to Basket

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

There are more copies of this book

View all search results for this book