Revere

Formal Object-Oriented Development

Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Formal Object-Oriented DevelopmentISBN13:9783540199786ISBN10:3540199780Author:Lano, Kevin (Author)Description: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++ Binding:Paperback, PaperbackPublisher:SPRINGER NATUREPublication Date:1995-10-25Weight:1.35 lbsDimensions:0.89'' H x 9.21'' L x 6.14'' WNumber of Pages:422Language:English

Price: 59.58 USD

Location: USA

End Time: 2024-11-19T14:18:00.000Z

Shipping Cost: 0 USD

Product Images

Formal Object-Oriented Development

Item Specifics

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

Return policy details:

Book Title: Formal Object-Oriented Development

Item Length: 9.3in

Item Width: 6.1in

Author: Kevin Lano

Publication Name: Formal Object-Oriented Development

Format: Trade Paperback

Language: English

Publisher: Springer London, The Limited

Series: Formal Approaches to Computing and Information Technology (Facit) Ser.

Publication Year: 1995

Type: Textbook

Item Weight: 25.8 Oz

Number of Pages: Xiv, 422 Pages

Recommended

Validated Designs for Object-oriented Systems by John Fitzgerald (English) Hardc
Validated Designs for Object-oriented Systems by John Fitzgerald (English) Hardc

$105.74

View Details
Liu - Structured Object-Oriented Formal Language and Method   11th In - S9000z
Liu - Structured Object-Oriented Formal Language and Method 11th In - S9000z

$82.05

View Details
Liu - Structured Object-Oriented Formal Language and Method   Second I - T555z
Liu - Structured Object-Oriented Formal Language and Method Second I - T555z

$59.18

View Details
Beckert - Formal Verification of Object-Oriented Software   Internati - S9000z
Beckert - Formal Verification of Object-Oriented Software Internati - S9000z

$63.00

View Details
Formal Verification of Object-Oriented Software: International Conference, FoVeO
Formal Verification of Object-Oriented Software: International Conference, FoVeO

$67.91

View Details
Structured Object-Oriented Formal Language and Method - 9783319312194
Structured Object-Oriented Formal Language and Method - 9783319312194

$48.70

View Details
Structured Object-Oriented Formal Language and Method: 8th International Worksho
Structured Object-Oriented Formal Language and Method: 8th International Worksho

$75.16

View Details
Structured Object-Oriented Formal Language and Method - 9783319577074
Structured Object-Oriented Formal Language and Method - 9783319577074

$48.62

View Details
Validation and Verification of Formal Specifications in Object-Oriented Softw-,
Validation and Verification of Formal Specifications in Object-Oriented Softw-,

$75.85

View Details
Structured Object-Oriented Formal Language and Method: 7th International Worksho
Structured Object-Oriented Formal Language and Method: 7th International Worksho

$75.16

View Details