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

• Main Author: Baber, Robert L. (Author)
• Format: Book
• Language: English
• Published: Chichester John Wiley & Sons c1987
• Subjects: COMPUTER PROGRAMMING; Λογική, Συμβολική και μαθηματική
• Item Description: βωιβλιογραφια: σσ.302-305
• Physical Description: xi, 316p.