Usingz.com

Rating: 0 - 0 votes

Company Logo

Company Name

Company Contact

Website Analysis

• Home Page Analysis
• Web Presence
• Home Page Speed

Domain Whois

WHOIS information for Usingz.com

Powered by who.is

Page Type

This page is about a company.

Title

Using Z: Specification, Refinement, and Proof (Formal techniques and formal methods for software engineering)

Description

By Jim Woodcock, Jim Davies; Prentice Hall, 1996, ISBN 0139484728. Treats formal techniques and methods for software engineering via Z. Full text, slides, exercises, solutions, cards, contents. [University of Oxford, Online]

Additional Information

Related Domains

Amazon.co.uk

Amazon.com

SanoFiPasteur.com.mx

UnnoHouse.co.jp

Usd327.org

×

Edit Page Image

×

Select image...

• jpeg, png, or gif
• one megabyte or smaller
• will be resized to 270 pixels wide

Close Save changes

×

Edit Name

×

Name

Close Save changes

×

Edit Contact Information

×

Address

City

State

Country

Postal Code

Phone

Fax

Email

Close Save changes

×

Edit Page Type

×

Page Type
Business / Organization Person Place Thing Other

Close Save changes

×

Map

×

×

Edit Page Rating

×

Your Rating

Close Save changes