Loading…

Computer-aided specification techniques /

Saved in:
Bibliographic Details
Main Author: Demtrovics, Janos
Other Authors: Rado, Peter, Knuth, E. (Elod), 1943-
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