Verwandte Artikel zu Semantics of Programming Languages and Model Theory:...
Semantics of Programming Languages and Model Theory: 5 (Algebra, Logic and Applications) - Hardcover
Inhaltsangabe
A conference on Semantics of Programming Languages and Model Theory was held at the International Conference and Research Center for Computer Science, SchloB Dägstuhl, during June 23-29, 1991. Participants from 10 countries represented a wide range of interests on the subject where the interaction of different fields is so fruitful. In particular, methods from algebra, logic and order theory were used for the solution of problems from denotational semantics and domain theory; this was reflected in some talks. Several other talks treated topics ranging from functional programming languages and database models to linear logic, boolean algebras and model theory. A number of lectures dealt with the quickly developing area of evolving algebras and in particular with evolving algebra semantics of PROLOG and its relatives. This volume contains papers presented at the conference and a few others submitted by colleagues unable to attend.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Manfred Droste Universitiit Gesamthochschule, Essen Germany and Yuri Gurevich University of Michigan, Ann Arbor, USA.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 46,79
EUR 15,06 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 292,22
EUR 11,59 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Semantics of Programming Languages and Model Theory:...
Beispielbild für diese ISBN
Semantics of Programming Languages and Model Theory - Algebra, Logic and Applications (5)
Anbieter: Literary Cat Books, Machynlleth, Powys, WALES, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
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
Foto des Verkäufers
Semantics of Programming Languages and Model Theory (Classics in the History and Philosophy of Science)
Verlag:
Gordon & Breach Science Publishers Ltd 01.05.1993., 1993
ISBN 10: 2881249353
ISBN 13: 9782881249358
Gebraucht
Hardcover
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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
Beispielbild für diese ISBN
Semantics of Programming Languages and Model Theory (Algebra, Logic, and Applications, Vol 5)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 1st edition. 416 pages. 9.50x6.50x1.00 inches. In Stock. Bestandsnummer des Verkäufers zk2881249353
Anzahl: 1 verfügbar