Formal Methods and Object Technology Image close
Formal Methods and Object Technology
Formal Methods and Object Technology
Show Hide Adult Content
Formal Methods and Object Technology close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Formal Methods and Object Technology

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

Format:

Paperback / softback
$263.99
RRP:
$280.95 save $16.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 $66.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 26 Jun - 8 Jul using International Courier

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

See all products in this series

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
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
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
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
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
On the Refinement Calculus Save $52
$134.99
$187.95
On the Refinement Calculus
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
Formal Object-Oriented Development by Kevin Lano Save $47
$139.99
$187.95
Formal Object-Oriented Development
by Kevin Lano ~ 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

Description

This text presents an overview of two approaches to software engineering - formal methods and object-oriented techniques. By extracting the best aspects of each, the text demonstrates how better and safer software is being developed. Three main strands of research are identified and discussed: the application of formal methods to object technology; the extension of formal methods with object-oriented concepts; and the formal foundations of object technology. Examples of each approach are included and areas such as concurrency and real time, which are especially important in the development of large scale, distributed and safety critical systems, are addressed.
Release date Australia
April 26th, 1996
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Stephen J. Goldsack
  • Edited by Stuart J. H. Kent
Edition
Softcover reprint of the original 1st ed. 1996
Illustrations
XVIII, 368 p.
Pages
368
Dimensions
156x234x20
ISBN-13
9783540199779
Product ID
13446703

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

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 >
Programming languages
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Object-oriented programming (OOP)
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Artificial intelligence