Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994

Bibliographic Details
Other Authors:	Birtwistle, Graham (Editor), Moller, Faron (Editor)
Format:	Book
Language:	English
Published:	Berlin Springer-Verlag c1996
Series:	Lecture Notes in Computer Science / G. Goos and J. Hartmanis 1043
Subjects:	LOGIC FOR CONCURRENCY PROCEEDINGS Υπολογιστική ΕΣΑ ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ LNCS


LEADER	01464cam a22003253u 4500
001	10105059
003	upatras
005	20210423114539.0
008	991022s eng
020			\|a 3 540 60915 6
040			\|a Βιβλιοθήκη ΕΑΙΤΥ \|c Βιβλιοθήκη ΕΑΙΤΥ
041	0		\|a eng
245	1	0	\|a Logics for Concurrency \|b Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
260			\|a Berlin \|b Springer-Verlag \|c c1996
300			\|a xi, 266p,
490	0		\|a Lecture Notes in Computer Science / G. Goos and J. Hartmanis \|v 1043
500			\|a bibliography:pp.263-266 Εργαστηριο Συνδυαστικων Αλγοριθμων
650		4	\|a LOGIC FOR CONCURRENCY \|9 123557
650		4	\|a PROCEEDINGS \|9 24278
650		4	\|a Υπολογιστική \|9 63558
650		4	\|a ΕΣΑ \|9 113671
650		4	\|a ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ \|9 113060
650		4	\|a LNCS \|9 113061
700	1		\|a Birtwistle, Graham \|4 edt \|9 7562
700	1		\|a Moller, Faron \|4 edt \|9 7561
760	0		\|a Lecture notes in computer science \|g 1043
852			\|a GR-PaULI \|b ΠΑΤΡΑ \|b ΤΜΗΥΠ \|h 005.131 MOL \|t 1
942			\|2 ddc
952			\|0 0 \|1 0 \|2 ddc \|4 0 \|6 005_131000000000000_MOL \|7 0 \|8 NFIC \|9 136274 \|a LISP \|b LISP \|c ALFf \|d 2016-04-24 \|l 0 \|o 005.131 MOL \|p 025000284162 \|r 2016-04-24 00:00:00 \|t 1 \|w 2016-04-24 \|y BK15 \|x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής
999			\|c 89237 \|d 89237

Similar Items