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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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: 53.79 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

132 b

53.79 € VAT included

In stock at our supplier Shipping in 8-11 days

Delivery to Austria

30-day return policy

Customers also purchased

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

Paperback

84.99 €

Akademia owoce Opracowanie zbiorowe

Paperback

2.69 €

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

Paperback

27.09 €

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

Hardback

124.89 €

Commentaria in decem Categorias Aristotelis Simplicius

Hardback

175.99 €

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.