Get Free Shipping on orders over $79
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings - Jing Sun

Formal Methods and Software Engineering

20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

By: Jing Sun (Editor), Meng Sun (Editor)

Paperback | 11 October 2018

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Object-Oriented and Classical Software Engineering - Global Edition : 8th Edition - Stephen R. Schach
Developing Graphics Frameworks with Java and OpenGL - Lee Stemkoski
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$26.75

44%
OFF
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$38.75

22%
OFF
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
Learning Agile : Understanding Scrum, XP, Lean, and Kanban - Andrew Stellman
Go Cookbook : Expert Solutions for Commonly Needed Go Tasks - Sau Sheong Chang