Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 01659032
Price: 51.78 EUR
Availability: InStock
Author: Shengchao Qin
ISBN: 9783642245589

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Shengchao Qin

Zongyan Qiu

Language

English

Book Paperback

Libristo code: 01659032

Publishers Springer, Berlin, November 2010

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine... Full description

Libristo code: 01659032

125 b

51.78 €

In stock at our supplier Shipping in 8-11 days

Up to 30 days for returns

Customers also purchased

Coleopterorum Catalogus S. Schenkling

Paperback

16.51 €

Akademia owoce Opracowanie zbiorowe

Paperback

3.54 €

Numération et calcul CP + CD Eric Mounier

Paperback

54.01 €

Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A

Paperback

26.24 €

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone

Paperback

55.93 €

Die Â«andereÂ» Familie Arbeitskreis "Repräsentationen"

Hardback

120.90 €

Commentaria in decem Categorias Aristotelis Simplicius

Hardback

169.85 €

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.