Get Free Shipping on orders over $49
Formal Object-Oriented Development : Formal Approaches to Computing and Information Technology (FACIT) - Kevin Lano

Formal Object-Oriented Development

By: Kevin Lano

Paperback

At a Glance

Paperback


$145.75

or 4 interest-free payments of $36.44 with

 or 

Ships in 10 to 15 business days

Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices.
The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$34.99

30%
OFF
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$26.75

44%
OFF
The C++ Programming Language - Bjarne Stroustrup
Developing Graphics Frameworks with Java and OpenGL - Lee Stemkoski
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$50.75

27%
OFF
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$64.75

51%
OFF
C++ Pocket Reference : POCKET REFERENCES - Kyle Loudon

RRP $47.75

$26.75

44%
OFF
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston