|
|
|
|
| LEADER |
01235nam a2200265 u 4500 |
| 001 |
10105711 |
| 003 |
upatras |
| 005 |
20210505155139.0 |
| 008 |
000524s eng |
| 020 |
|
|
|a 0 8176 3625 0
|
| 040 |
|
|
|a Βιβλιοθήκη ΙΤΥ
|c Βιβλιοθήκη ΙΤΥ
|
| 040 |
|
|
|a XX-XxUND
|c Βιβλιοθήκη ΙΤΥ
|
| 082 |
0 |
4 |
|a 003.1
|
| 245 |
1 |
0 |
|a Verifying temporal properties of systems
|c Julian Charles Bradfield
|
| 260 |
|
|
|a Boston
|b Birkhauser
|c 1992
|
| 300 |
|
|
|c vi,113p.:fig.
|
| 490 |
0 |
|
|a Progress in theoretical computer science
|
| 500 |
|
|
|a Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστήριο συνδυαστικων αλγορίθμων
|
| 650 |
|
4 |
|a ΕΣΑ
|9 113671
|
| 650 |
|
4 |
|a Συστήματα
|9 64896
|
| 700 |
1 |
|
|a Bradfield, Julian Charles
|4 aut
|9 125097
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΤΜΗΥΠ
|h 003.1 BRA
|t 1
|
| 942 |
|
|
|2 ddc
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 003_100000000000000_BRA
|7 0
|8 NFIC
|9 138318
|a LISP
|b LISP
|c ALFe
|d 2016-04-24
|l 0
|o 003.1 BRA
|p 025000285190
|r 2016-04-24 00:00:00
|t 1
|w 2016-04-24
|y BK15
|x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής
|
| 999 |
|
|
|c 90508
|d 90508
|
