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

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