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

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, ... (Lecture Notes in Computer Science, 6447) - Softcover

 
9783642169007: Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, ... (Lecture Notes in Computer Science, 6447)

Synopsis

This book constitutes the refereed proceedings of the 12th International
Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,
November 2010.

The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and mod
el driven engineering, as well as specification and verification.

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

  • PublisherSpringer
  • Publication date2010
  • ISBN 10 3642169007
  • ISBN 13 9783642169007
  • BindingPaperback
  • LanguageEnglish
  • Number of pages726
  • EditorDong Jin Song, Zhu Huibiao

Buy Used

Zustand: Hervorragend | Seiten:...
View this item

£ 7.54 shipping from Germany to United Kingdom

Destination, rates & speeds

Buy New

View this item

£ 21.16 shipping from Germany to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9783642169021: Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Featured Edition

ISBN 10:  3642169023 ISBN 13:  9783642169021
Publisher: Springer, 2011
Softcover

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

Stock Image

Unbekannt
Published by Springer-Verlag GmbH, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
Used Softcover

Seller: Buchpark, Trebbin, Germany

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

Condition: Hervorragend. Zustand: Hervorragend | Seiten: 712 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 9886056/1

Contact seller

Buy Used

£ 32.02
Convert currency
Shipping: £ 7.54
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Unbekannt
Published by Springer-Verlag GmbH, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
Used Softcover

Seller: Buchpark, Trebbin, Germany

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

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 712 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 9886056/12

Contact seller

Buy Used

£ 32.02
Convert currency
Shipping: £ 7.54
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Dong, Jin Song|Zhu, Huibiao
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
New Softcover

Seller: moluna, Greven, Germany

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

Condition: New. This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.The 42 revised full papers together with. Seller Inventory # 5051293

Contact seller

Buy New

£ 103.47
Convert currency
Shipping: £ 21.16
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

. Ed(s): Dong, Jin Song; Zhu, Huibiao
Published by Springer, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
New Softcover

Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland

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

Condition: New. Editor(s): Dong, Jin Song; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 712 pages, 202 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016. . 2010. 2010th Edition. paperback. . . . . Seller Inventory # V9783642169007

Contact seller

Buy New

£ 125.12
Convert currency
Shipping: £ 2.54
From Ireland to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Dong, Jin Song (Editor) / Zhu, Huibiao (Editor)
Published by Springer, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

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

Paperback. Condition: Brand New. 712 pages. 9.20x6.10x1.10 inches. In Stock. Seller Inventory # x-3642169007

Contact seller

Buy New

£ 132.86
Convert currency
Shipping: £ 6.99
Within United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Jin Song Dong
ISBN 10: 3642169007 ISBN 13: 9783642169007
New Paperback

Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.

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

Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 12th International Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010. The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification. This book constitutes the refereed proceedings of the 12th InternationalConference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China,November 2010.The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783642169007

Contact seller

Buy New

£ 107.66
Convert currency
Shipping: £ 37.02
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
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 # ABLIING23Mar3113020219921

Contact seller

Buy New

£ 89.36
Convert currency
Shipping: £ 55.53
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

. Ed(s): Dong, Jin Song; Zhu, Huibiao
Published by Springer, 2010
ISBN 10: 3642169007 ISBN 13: 9783642169007
New Softcover

Seller: Kennys Bookstore, Olney, MD, U.S.A.

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

Condition: New. Editor(s): Dong, Jin Song; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 712 pages, 202 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 28. Weight in Grams: 1016. . 2010. 2010th Edition. paperback. . . . . Books ship from the US and Ireland. Seller Inventory # V9783642169007

Contact seller

Buy New

£ 149.94
Convert currency
Shipping: £ 2.22
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket