Items related to Software Engineering and Formal Methods: 10th International...

Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Programming and Software Engineering) - Softcover

 
9783642338250: Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Programming and Software Engineering)

Synopsis

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.

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

From the Back Cover

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.

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

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

US$ 2.64 shipping within U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9783642338274: Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Featured Edition

ISBN 10:  3642338275 ISBN 13:  9783642338274
Publisher: Springer, 2012
Softcover

Search results for Software Engineering and Formal Methods: 10th International...

Seller Image

Eleftherakis, George (EDT); Hinchey, Mike (EDT); Holcombe, Mike (EDT)
Published by Springer, 2012
ISBN 10: 3642338259 ISBN 13: 9783642338250
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 19182283-n

Contact seller

Buy New

US$ 60.88
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2012
ISBN 10: 3642338259 ISBN 13: 9783642338250
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020224572

Contact seller

Buy New

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

Quantity: Over 20 available

Add to basket

Seller Image

Eleftherakis, George (EDT); Hinchey, Mike (EDT); Holcombe, Mike (EDT)
Published by Springer, 2012
ISBN 10: 3642338259 ISBN 13: 9783642338250
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 19182283

Contact seller

Buy Used

US$ 69.31
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2012
ISBN 10: 3642338259 ISBN 13: 9783642338250
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783642338250

Contact seller

Buy New

US$ 74.00
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2012
ISBN 10: 3642338259 ISBN 13: 9783642338250
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783642338250_new

Contact seller

Buy New

US$ 70.68
Convert currency
Shipping: US$ 16.18
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Eleftherakis, George
Published by Springer 2012-08, 2012
ISBN 10: 3642338259 ISBN 13: 9783642338250
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783642338250

Contact seller

Buy New

US$ 66.65
Convert currency
Shipping: US$ 20.92
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Eleftherakis, George (EDT); Hinchey, Mike (EDT); Holcombe, Mike (EDT)
Published by Springer, 2012
ISBN 10: 3642338259 ISBN 13: 9783642338250
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 19182283-n

Contact seller

Buy New

US$ 70.10
Convert currency
Shipping: US$ 20.26
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

George Eleftherakis
ISBN 10: 3642338259 ISBN 13: 9783642338250
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods. 400 pp. Englisch. Seller Inventory # 9783642338250

Contact seller

Buy New

US$ 64.41
Convert currency
Shipping: US$ 26.89
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 2012
ISBN 10: 3642338259 ISBN 13: 9783642338250
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 400. Seller Inventory # 2648020663

Contact seller

Buy New

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

Quantity: 4 available

Add to basket

Seller Image

Eleftherakis, George (EDT); Hinchey, Mike (EDT); Holcombe, Mike (EDT)
Published by Springer, 2012
ISBN 10: 3642338259 ISBN 13: 9783642338250
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 19182283

Contact seller

Buy Used

US$ 77.31
Convert currency
Shipping: US$ 20.26
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 7 more copies of this book

View all search results for this book