Understanding Z : a specification language and its formal semantics / J. M. Spivey. a specification language and its formal semantics /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2008, c1988.
|
| Series: | Cambridge tracts in theoretical computer science ;
3. |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 02159cam a2200337 a 4500 | ||
|---|---|---|---|
| 001 | 001222926 | ||
| 005 | 20230206170135.0 | ||
| 008 | 071206r20081988xxk b 001 0 eng d | ||
| 020 | |a 9780521054140 | ||
| 020 | |a 0521054141 | ||
| 040 | |a BTCTA |c BTCTA |d BAKER |d IUP |d YDXCP |d UK-RwCLS | ||
| 089 | |a 005.262 Z | ||
| 100 | 1 | |a Spivey, J. M. | |
| 245 | 1 | 0 | |a Understanding Z : |b a specification language and its formal semantics / |c J. M. Spivey. |
| 260 | |a Cambridge : |b Cambridge University Press, |c 2008, c1988. | ||
| 300 | |a viii, 131 p. ; |c 25 cm. | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science ; |v 3 | |
| 500 | |a Paperback re-issue. First published 1988. | ||
| 500 | |a "This digitally printed version 2008"--T.p. verso. | ||
| 504 | |a Includes bibliographical references (p. [119]-122) and index of definitions. | ||
| 650 | 0 | |a Z (Computer program language) | |
| 650 | 0 | |a Programming languages (Electronic computers) |x Semantics. | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science ; |v 3. | |
| 952 | |0 0 |1 0 |4 0 |6 005_262000000000000_Z_SPI |7 0 |9 801350 |a PILKINGTON |b PILKINGTON |c MAIN |d 2012-06-11 |g 16.91 |l 5 |m 10 |o 005.262 Z/SPI |p 0404050387 |r 2022-06-13 |s 2022-01-15 |w 2018-02-01 |y LONG | ||
| 952 | |0 0 |1 0 |4 0 |6 005_262000000000000_Z_SPI |7 0 |9 801351 |a PILKINGTON |b PILKINGTON |c MAIN |d 2012-06-11 |g 16.91 |l 4 |m 5 |o 005.262 Z/SPI |p 0404050395 |r 2022-07-02 |s 2022-06-23 |w 2018-02-01 |y LONG | ||
| 952 | |0 0 |1 0 |4 0 |6 005_262000000000000_Z_SPI |7 0 |9 801352 |a PILKINGTON |b PILKINGTON |c MAIN |d 2012-06-11 |g 16.91 |l 5 |m 3 |o 005.262 Z/SPI |p 0404050417 |r 2020-08-14 |s 2020-03-13 |w 2018-02-01 |y LONG | ||
| 952 | |0 0 |1 0 |4 0 |6 005_262000000000000_Z_SPI |7 0 |9 801353 |a PILKINGTON |b PILKINGTON |c MAIN |d 2012-06-11 |g 16.91 |l 5 |m 5 |o 005.262 Z/SPI |p 0404050360 |r 2023-05-02 |s 2023-02-06 |w 2018-02-01 |y LONG | ||
| 952 | |0 0 |1 0 |4 0 |6 005_262000000000000_Z_SPI |7 0 |9 801354 |a PILKINGTON |b PILKINGTON |c MAIN |d 2012-06-11 |g 16.91 |l 1 |m 6 |o 005.262 Z/SPI |p 0404050379 |r 2018-06-19 |s 2018-02-06 |w 2018-02-01 |y LONG | ||
| 952 | |0 0 |1 0 |4 0 |6 005_262000000000000_Z_SPI |7 0 |9 801355 |a PILKINGTON |b PILKINGTON |c MAIN |d 2012-06-11 |g 16.91 |l 3 |m 11 |o 005.262 Z/SPI |p 0404050409 |r 2020-03-03 |s 2020-02-03 |w 2018-02-01 |y LONG | ||
| 999 | |c 495303 |d 495303 | ||
| 942 | 0 | 0 | |0 18 |