Download E-books Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings PDF

By Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)

This ebook constitutes the refereed court cases of the eleventh overseas convention on Formal Engineering equipment, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.

The 36 revised complete papers including invited talks offered have been conscientiously reviewed and chosen from 121 submissions. The papers tackle all present concerns in formal tools and their functions in software program engineering. they're geared up in topical sections on checking out, Protocols, verification, version checking, object-orientation, event-b, compilation, approach algebra, refinement, algebraic requisites and real-time systems.

Show description

Read Online or Download Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings PDF

Best Software books

Additional info for Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Show sample text content

Rated 4.88 of 5 – based on 44 votes