Formal Object-Oriented Development Image close
Formal Object-Oriented Development by Kevin Lano
Formal Object-Oriented Development by Kevin Lano
Show Hide Adult Content
Formal Object-Oriented Development close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Formal Object-Oriented Development

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$139.99
RRP:
$187.95 save $47.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $35.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 27 Jun - 9 Jul using International Courier

Explore more Formal Approaches to Computing and Information Technology (FACIT)

See all products in this series

Software Specification Methods Save $18
$261.99
$280.95
Software Specification Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Systems, Models and Measures by Agnes Kaposi Save $42
$138.99
$181.95
Systems, Models and Measures
by Agnes Kaposi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Industrial-Strength Formal Methods in Practice
$401.99
Industrial-Strength Formal Methods in Practice
Paperback / softback
Available - Usually ships in 3-4 weeks
Specification Case Studies in RAISE Save $40
$264.99
$305.95
Specification Case Studies in RAISE
Paperback / softback
Available - Usually ships in 3-4 weeks
Proof in VDM: Case Studies
$260.99
Proof in VDM: Case Studies
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Object Technology Save $16
$263.99
$280.95
Formal Methods and Object Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
The B Language and Method by Kevin Lano Save $45
$134.99
$180.95
The B Language and Method
by Kevin Lano ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Program Development by Refinement Save $24
$514.99
$539.95
Program Development by Refinement
Paperback / softback
Available - Usually ships in 3-4 weeks
Notations for Software Design by Hans B.M. Jonkers Save $41
$138.99
$180.95
Notations for Software Design
by Hans B.M. Jonkers ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Proof in VDM: A Practitioner’s Guide by Brian Ritchie Save $33
$138.99
$172.95
Proof in VDM: A Practitioner’s Guide
by Brian Ritchie ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Theory and Practice of Program Development by Derek J. Andrews Save $41
$138.99
$180.95
A Theory and Practice of Program Development
by Derek J. Andrews ~ Paperback / softback
Available - Usually ships in 3-4 weeks
High-Integrity System Specification and Design by Jonathan P. Bowen Save $39
$147.99
$187.95
High-Integrity System Specification and Design
by Jonathan P. Bowen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods in Human-Computer Interaction Save $42
$137.99
$180.95
Formal Methods in Human-Computer Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
On the Refinement Calculus Save $52
$134.99
$187.95
On the Refinement Calculus
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

An 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 developmental practices. The text is illustrated, both with tutorial and self-assessment exercises and with examples of industrial applications from the reactive systems domain. This study should be of interest to academic and industrial researchers, software engineering practitioners and consultants, and aims to provide reading material for students learning Z++ and VDM++.
Release date Australia
October 25th, 1995
Author
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Edition
Softcover reprint of the original 1st ed. 1995
Illustrations
4 Illustrations, black and white; XIV, 422 p. 4 illus.
Pages
422
Dimensions
155x235x23
ISBN-13
9783540199786
Product ID
13549072

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Kevin Lano

See all books by this author

The B Language and Method by Kevin Lano Save $45
$134.99
$180.95
The B Language and Method
by Kevin Lano ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Object-oriented programming
Books >
Computers & Internet >
Computer programming / software development >
Object-oriented programming (OOP)
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering