|
|
|
|
| LEADER |
01314nam a2200277 u 4500 |
| 001 |
10105563 |
| 003 |
upatras |
| 005 |
20210117204203.0 |
| 008 |
000217s eng |
| 020 |
|
|
|a 3 540 50845 7
|
| 040 |
|
|
|a Βιβλιοθήκη ΙΤΥ
|c Βιβλιοθήκη ΙΤΥ
|
| 040 |
|
|
|a XX-XxUND
|c Βιβλιοθήκη ΙΤΥ
|
| 082 |
0 |
4 |
|a 004.6
|
| 245 |
1 |
0 |
|a Compositionality, concurrency and partial correctness
|b Proof theories for networks of processes, and ther relationship
|c J. Zwiers
|
| 260 |
|
|
|a Berlin
|b Springer
|c 1989
|
| 300 |
|
|
|a vi,272p.: bibliography
|
| 490 |
0 |
|
|a Lecture Notes in Computer Science
|v 321
|
| 500 |
|
|
|a Τομέας εφαρμογων και θεμελιώσεων της επιστήμης των υπολογιστών. Εργαστήριο συνδυαστικων αλγοριθμων
|
| 650 |
|
4 |
|a ΕΣΑ
|9 113671
|
| 650 |
|
4 |
|a COMPUTER NETWORKS
|9 24291
|
| 650 |
|
4 |
|a LNCS
|9 113061
|
| 700 |
1 |
|
|a Zwiers, J.
|4 aut
|9 124794
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΤΜΗΥΠ
|h 004.6 ZWI
|t 1
|
| 942 |
|
|
|2 ddc
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 004_600000000000000_ZWI
|7 0
|8 NFIC
|9 137830
|a LISP
|b LISP
|c ALFe
|d 2016-04-24
|l 0
|o 004.6 ZWI
|p 025000283154
|r 2016-04-24 00:00:00
|t 1
|w 2016-04-24
|y BK15
|x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής
|
| 999 |
|
|
|c 90215
|d 90215
|
