Logical theory for program construction Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Finance, Jean-Pierre (Επιμελητής έκδοσης), Jahnichen, Stefan (Επιμελητής έκδοσης), Loeckx, Jacques 1931- (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Θέματα:	Λογισμός IBFI Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού SEMINAR REPORT


LEADER	01017nam a22002533u 4500
001	10103538
003	upatras
005	20210412072126.0
008	991022s eng
040			\|a Βιβλιοθήκη ΕΑΙΤΥ \|c Βιβλιοθήκη ΕΑΙΤΥ
041	0		\|a eng
245	1	0	\|a Logical theory for program construction \|b Dagstuhl-Seminar-Report; 7 25.-1.3.1991(9109)
650		4	\|a Λογισμός \|9 113817
650		4	\|a IBFI \|9 119792
650		4	\|a Ηλεκτρονικοί υπολογιστές \|x Γλώσσες προγραμματισμού \|9 263
650		4	\|a SEMINAR REPORT \|9 119794
700	1		\|a Finance, Jean-Pierre \|4 edt \|9 119814
700	1		\|a Jahnichen, Stefan \|4 edt \|9 119815
700	1		\|a Loeckx, Jacques \|d 1931- \|4 edt \|9 26227
710	2		\|a Internationales Begegnungs-und Forschungszentrum fur Informatik \|4 fnd \|9 119797
852			\|a GR-PaULI \|b ΠΑΤΡΑ \|b ΤΜΗΥΠ \|t 1
942			\|2 ddc
952			\|0 0 \|1 0 \|4 0 \|7 0 \|9 131661 \|a CEID \|b CEID \|d 2016-04-24 \|l 0 \|r 2016-04-24 00:00:00 \|t 1 \|w 2016-04-24
999			\|c 86265 \|d 86265

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