Author: DROSTE, M. & Y. GUREVICH
Title: Semantics of Programming Languages and Model Theory - Algebra, Logic and Applications (5)
Description: Singapore: CRC Press, 1993. (?); (?). Hardcover. ISBN: 2881249353. Small peice of loose paper declaring that this book is a review copy. Plus a loose packing slip. Very minor shelfwear. ; *Semantics of Programming Languages and Model Theory* (Algebra, Logic and Applications, Vol. 5) delves into the relationship between programming language semantics and model theory. The book focuses on formal methods for understanding programming languages using logical and algebraic frameworks. It covers topics such as denotational semantics, algebraic structures, and model-theoretic techniques, providing theoretical foundations for how programming languages are interpreted and analyzed. It is a valuable resource for researchers and students interested in the intersection of logic, algebra, and computer science. ; 15.7 x 23. 2 x 3.2 cm ; vii, 366 pages. Very Good+ with no dust jacket .

Keywords: 2881249353


See more books from our catalog: Mathematics