Formal Specification Using Z (Computer Science)

Name: Formal Specification Using Z (Computer Science)
Author: David Lightfoot

by David Lightfoot · June 28, 1991

Cover of Formal Specification Using Z (Computer Science)

Popularity 2

No description available.

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