Formal Specification and Documentation Using Z
first publication date: 1996
original title: Formal Specification and Documentation Using Z
main subject: formal specification, Z notation, documentation
Editions
1- date of publication: 1996-02-01ISBN-13: 978-1-85032-230-6
In your inventory
nothing here
In your friends' and groups' inventories
nothing here
Nearby
nothing here
Elsewhere
nothing here
Work - wd:Q105938709