Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Apt, Krzysztof (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:Greek
Έκδοση: Berlin Springer 1997
Έκδοση:2nd ed.
Θέματα:
ΕΣΑ
Λογισμικό εφαρμογών > Ανάπτυξη
LEADER 01249nam a2200265 u 4500
001 10105840
003 upatras
005 20210915143121.0
008 000828s gre
020 |a 0 387 94896 1 
040 |a Βιβλιοθηκη ΙΤΥ  |c Βιβλιοθηκη ΙΤΥ 
040 |a XX-XxUND  |c Βιβλιοθηκη ΙΤΥ 
082 0 4 |a 005.14 
245 1 0 |a Verification of sequential and concurrent programs  |c Krzysztof R. Apt Ernst-Rudiger Olderog 
250 |a 2nd ed. 
260 |a Berlin  |b Springer  |c 1997 
300 |a xvii,364p. 
500 |a Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστηριο συνδυαστικων αλγοριθμων 
650 4 |a ΕΣΑ  |9 113671 
650 4 |a Λογισμικό εφαρμογών  |x Ανάπτυξη  |9 160424 
700 1 |a Apt, Krzysztof  |4 aut  |9 119824 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 005.14 APT  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_140000000000000_APT  |7 0  |8 NFIC  |9 138758  |a LISP  |b LISP  |c ALFe  |d 2016-04-24  |l 0  |o 005.14 APT  |p 025000284669  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 90756  |d 90756 

Παρόμοια τεκμήρια