ZUM '95, the Z formal specification notation :
9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings /
Jonathan P. Bowen, Michael G. Hinchey, eds.
| Main Creator: | |
|---|---|
| Contributors: | |
| Format: | Journal / Serial |
| Language: | English |
| Published / Created: |
Berlin ; New York :
Springer,
c1995.
|
| Series: | Lecture notes in computer science ;
967 |
| Subjects: | |
| Notes: | Includes bibliographical references and index. Also issued online. Physical description: xi, 569 p. : ill. ; 24 cm. more |
| ISBN: | 3540602712 (alk. paper) 9783540602712 (alk. paper) |
| Call Number | View In | Collection |
|---|---|---|
|
9B 1077 |
Main Reading Room |
Books |