First published in 1993. Routledge is an imprint of Taylor & Francis, an informa company.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Manfred Droste Universitiit Gesamthochschule, Essen Germany and Yuri Gurevich University of Michigan, Ann Arbor, USA.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : Literary Cat Books, Machynlleth, Powys, WALES, Royaume-Uni
Hardcover. Etat : Very Good+. Etat de la jaquette : 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. N° de réf. du vendeur LCB62270
Quantité disponible : 1 disponible(s)
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Etat : 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. N° de réf. du vendeur 383858
Quantité disponible : 1 disponible(s)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Hardcover. Etat : Brand New. 1st edition. 416 pages. 9.50x6.50x1.00 inches. In Stock. N° de réf. du vendeur zk2881249353
Quantité disponible : 1 disponible(s)