Loading…
Computer-aided specification techniques /
Saved in:
Main Author: | |
---|---|
Other Authors: | , |
Format: | Book |
Language: | English |
Published: |
Singapore :
World Scientific,
c1985.
|
Series: | Series in computer science ;
vol. 1 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000nam a2200000u 4500 | ||
---|---|---|---|
001 | 00706922 | ||
003 | PWmBRO | ||
005 | 20240602101252.0 | ||
008 | 851231s1985 si a b 00010 eng | ||
020 | |a 9971978539 | ||
100 | 1 | 0 | |a Demtrovics, Janos. |
245 | 1 | 0 | |a Computer-aided specification techniques / |c Janos Demetrovics, Elod Knuth, Peter Rado. |
260 | 0 | |a Singapore : |b World Scientific, |c c1985. | |
300 | |a ix, 114 p. : |b ill. | ||
440 | 0 | |a Series in computer science ; |v vol. 1 | |
650 | 0 | |a System design. | |
650 | 0 | |a Computer-aided design. | |
700 | 1 | 0 | |a Rado, Peter. |
700 | 1 | 0 | |a Knuth, E. |q (Elod), |d 1943- |
942 | |2 ddc | ||
952 | |0 0 |1 0 |4 0 |6 004_210000000000000_D377 |7 0 |8 MN |9 54637 |a ML015 |b ML015 |c MN |d 2024-06-02 |l 0 |o 004.21 D377 |p 056712 |r 2018-03-24 00:00:00 |w 2018-03-24 |y BK | ||
952 | |0 0 |1 0 |4 0 |6 004_210000000000000_D377 |7 0 |9 54638 |a ML015 |b ML015 |c ML015 |d 2024-06-02 |l 0 |o 004.21 D377 |p 056714 |r 2018-03-24 00:00:00 |w 2018-03-24 | ||
994 | 0 | 1 | |a T1001 056 714 |
999 | |c 39608 |d 39608 |