9782881249358 - Semantics of Programming Languages and Model Theory: 5 (Algebra, Logic and Applications) de Droste, Manfred; Gurevich, Yuri (3 resultados)

Hardcover. Condición: Very Good+. Estado de la sobrecubierta: No Dust Jacket. (?); (?). 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.

Condición: Sehr gut. 416 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 15,7 x 3,0 cm, Gebundene Ausgabe.

Hardcover. Condición: Brand New. 1st edition. 416 pages. 9.50x6.50x1.00 inches. In Stock.