Get Free Shipping on orders over $0
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


$144.75

or 4 interest-free payments of $36.19 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
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
C++ Programming Language (hardcover), The - Bjarne Stroustrup

RRP $117.91

$89.99

24%
OFF
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$50.75

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

RRP $49.95

$34.99

30%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
C# 12 Pocket Reference : Instant Help for C# 12 Programmers - Joseph Albahari
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman