ZB 2003 : Formal Specification and Development in Z and B
by Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
Z (computer program language)
Writing a summary for young readers…
For young readers
Book data: Open Library
by Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
Book data: Open Library