Formal Specification Using Z (Computer Science)

View on Open Library

Formal Specification Using Z (Computer Science)

by David Lightfoot

No reviews yet

First published: 1991 1 language ISBN: 9780333763278

Subjects

Z (computer program language) Z (Computer program language) Computer software Development Formal methods (Computer science) Z (Langage de programmation) Méthodes formelles (Informatique)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!