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

• Κύριος συγγραφέας: Baber, Robert L. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Chichester John Wiley & Sons c1987
• Θέματα: COMPUTER PROGRAMMING; Λογική, Συμβολική και μαθηματική
• Περιγραφή τεκμηρίου: βωιβλιογραφια: σσ.302-305
• Φυσική περιγραφή: xi, 316p.