Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 01659032
Price: 19902 HUF
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

136 b

19 902 Ft

In stock at our supplier Shipping in 8-11 days

30-day return policy

Customers also purchased

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

Paperback

31 466 Ft

Akademia owoce Opracowanie zbiorowe

Paperback

924 Ft

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

Paperback

9 997 Ft

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

Hardback

42 798 Ft

Commentaria in decem Categorias Aristotelis Simplicius

Hardback

60 135 Ft

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.