Get Free Shipping on orders over $79
Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings - Michael G. Hinchey

Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

By: Michael G. Hinchey (Editor), Michael Butler (Editor), Maria M. Larrondo-Petrie (Editor)

Paperback | 7 November 2007

At a Glance

Paperback


$130.90

or 4 interest-free payments of $32.73 with

 or 

Ships in 7 to 10 business days

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

More in Computer Science

Microsoft Power BI For Dummies : For Dummies (Computer/Tech) - Jack A. Hyman
Empire of AI : Inside the reckless race for total domination - Karen Hao
Microsoft 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom
A Cultural History of Computer Graphics - Carolin Scheler
Agentic AI For Dummies : For Dummies (Computer/Tech) - Pam Baker
What Art Is Now : Creativity in the Age of AI - Michael E. Jones
MRI in Practice : 5th Edition - Catherine Westbrook

RRP $82.95

$54.75

34%
OFF