Temporal logic in specification : Altrincham, Uk, April 8-10, 1987 : proceedings

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	Colloquium on Temporal Logic in Specification
Άλλοι συγγραφείς:	Banieqbal, B. (Behnam), 1960- (Επιμελητής έκδοσης), Barringer, Howard, 1951- (Επιμελητής έκδοσης), Pnueli, Amir, 1941-2009 (Επιμελητής έκδοσης)
Μορφή:	Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Berlin ; Heidelberg : Springer, c1989.
Σειρά:	Lecture notes in computer science ; 398
Θέματα:	System design. Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC


LEADER	00000cam a2200000 i 4500
001	1/96913
008	991219s1989 gw \| \|\|\| \|\|\|\| \|\|eng\|\|
020			\|a 3540518037
035			\|l 10055940
040			\|a GR-MyUa \|b gre \|e AACR2
041	0		\|a eng
082	7		\|a 005.131 \|2 (22)
245	0	0	\|a Temporal logic in specification : \|b Altrincham, Uk, April 8-10, 1987 : proceedings / \|c B.Banieqbal, H. Barringer, A. Pnueli, (eds.).
260			\|a Berlin ; \|a Heidelberg : \|b Springer, \|c c1989.
300			\|a vi, 448 σ. : \|b εικ. ; \|c 24 εκ.
490	1		\|a (Lecture notes in computer science ; \|v 398)
504			\|a Περιλαμβάνει βιβλιογραφικές παραπομπές.
650		0	\|a System design.
650		0	\|a Logic, Symbolic and mathematical.
700	1		\|a Banieqbal, B. \|q (Behnam), \|d 1960- \|e edt
700	1		\|a Barringer, Howard, \|d 1951- \|e edt
700	1		\|a Pnueli, Amir, \|d 1941-2009, \|e edt
711	2		\|a Colloquium on Temporal Logic in Specification \|d (1987 : \|c Altrincham, England)
830		0	\|a Lecture notes in computer science ; \|v 398
852			\|a INST \|b SAMOS \|e 19991219 \|h 005.131 TEM \|p 005300016208 \|q 005300016208 \|t BK \|y 0
901			\|a BIBL3-1999-3
922			\|a 3ΕΛΗ \|b 199912 \|c ΤΠΕΣ \|d ΠΑΠΑΣΩΤΗΡΙΟΥ
970			\|a ΓΕΝΟΥΖΟΥ \|b ΧΡΥΣΑΝΘΗ \|z 1999/12/19