Skip to content
Book Glossary
Cover of Formal Specification Using Z (Computer Science)

Formal Specification Using Z (Computer Science)

by David Lightfoot

Z (computer program language)Z (Computer program language)Computer softwareDevelopmentFormal methods (Computer science)Z (Langage de programmation)Méthodes formelles (Informatique)
Writing a summary for young readers…

For young readers

Book data: Open Library