First published in 1993. Routledge is an imprint of Taylor & Francis, an informa company.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Droste, Manfred; Gurevich, Yuri
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Literary Cat Books, Machynlleth, Powys, WALES, Vereinigtes Königreich
Hardcover. Zustand: Very Good+. Zustand des Schutzumschlags: 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. Bestandsnummer des Verkäufers LCB62270
Anzahl: 1 verfügbar
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Zustand: 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. Bestandsnummer des Verkäufers 383858
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Hardcover. Zustand: Brand New. 1st edition. 416 pages. 9.50x6.50x1.00 inches. In Stock. Bestandsnummer des Verkäufers zk2881249353
Anzahl: 1 verfügbar