Introducing specification using Z

View on Open Library

Introducing specification using Z

No reviews yet

First published: 1994 1 language ISBN: 0077079655

Subjects

Z (Computer program language)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by B. Ratcliff

Software Engineering

Software Engineering

Introducing ALGOL 68 and structured programming to non-computer science students as their first programming experience

Introducing ALGOL 68 and structured prog...

You Might Also Like

More in Z (Computer program ...

A guide to LATEX

A guide to LATEX

Helmut Kopka

Managing NFS and NIS

Managing NFS and NIS

Hal Stern

The Way of Z

Jonathan Jacky

Z-80 and 8080 assembly language programming

Z-80 and 8080 assembly language programm...

Kathe Spracklen

Refinement in Z and Object-Z

Refinement in Z and Object-Z

John Derrick

ZB 2000

International Conference of B and Z Users (1st 2000 York, England)