The spine of software A mathematical introduction to the semantics of computer programs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Baber, Robert L. (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Chichester John Wiley & Sons c1987
Θέματα:
LEADER 01031nam a22002293u 4500
001 10101639
003 upatras
005 20210126160135.0
008 991022s eng
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a The spine of software  |b A mathematical introduction to the semantics of computer programs 
260 |a Chichester  |b John Wiley & Sons  |c c1987 
300 |a xi, 316p. 
500 |a βωιβλιογραφια: σσ.302-305 
650 4 |a COMPUTER PROGRAMMING  |9 24276 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
700 1 |a Baber, Robert L.  |4 aut  |9 115446 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 005.131 BAB  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |2 ddc  |4 0  |6 005_131000000000000_BAB  |7 0  |8 NFIC  |9 125849  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |l 0  |o 005.131 BAB  |p 025000284123  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 82549  |d 82549