ZUM 98 : the Z formal specification notation : 11th international conference of Z users : proceedings, Berlin, Germany, Sept. 24-26, 1998 / edited by Jonathan P. Bowen, Andreas Fett and Michael G. Hinchey
Language: English Series: Lecture notes in computer science ; v.1493Publication details: Berlin ; Springer-Verlag ; 1998Edition: Description: xv,417 p; 23.5 cmISBN: 3-540-65070-90Subject(s): | Z(Computer program language)-Congresses| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, IITB Compact Storage - Basement Area | 681.3.06(Z) Int:11:98 | Available | G55A39 | 186725 |
Total holds: 0
There are no comments on this title.