9782881249358 - semantics of programming languages and model theory: 5 (algebra, logic and applications) de droste, manfred; gurevich, yuri (7 resultados)
- Tapa dura
Librería: Literary Cat Books, Machynlleth, Powys, WALES, Reino UnidoLiterary Cat Books
Contactar con el vendedorVendedor de 4 estrellasMiembro de asociación: IOBA
Condición: Usado - Bueno
EUR 40,46
Envío por EUR 17,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Very Good+. 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 langu…age 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.
Idioma: Inglés
Editorial: Gordon & Breach Science Publishers SA, Amsterdam, 1993
- Tapa dura
- Primera edición
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 258,57
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: new. Hardcover. The interplay between mathematical logic and the theory of programming languages has aroused an increasing amount of interest during the last two decades. In this research area, the mathematical fields of model theory, logic and ordered structures have received new stimuli from computer scie…nce. Simultaneously, complex mathematical methods have defined new applications in the entire area of semantics of programming languages. Many of the more difficult problems in the theory of computation require a combination of methods from model theory, logic and ordered structures as well as from semantics. The articles in this book deal with both the specialized aspects of the relationship and with pure methods in each of the fields of model theory, ordered structures and semantics. Whereas some chapters are concerned with original research in this area, review articles for the non-specialist are also included. The articles in this book deal with both the specialized aspects of the relationship between mathematical logic and the theory of programming languages, and with pure methods in each of the fields of model theory, ordered structures and semantics. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Más imágenes
- Tapa dura
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 229,48
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: New. Droste, Manfred Gurevich, YuriManfred Droste Universitiit Gesamthochschule, Essen Germany and Yuri Gurevich University of Michigan, Ann Arbor, USA.A conference on Semantics of Programming Languages and Model Theory was held at the International Con.
- Tapa dura
- Primera edición
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 269,74
Envío por EUR 9,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 20 disponibles
Condición: New. 1993. 1st Edition. hardcover. . . . . .
Semantics of Programming Languages and Model Theory (Algebra, Logic, and Applications, Vol 5)
Droste, Manfred (Editor)/ Gurevich, Yuri (Editor)/ Droste, Manfred
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 306,76
Envío por EUR 14,61Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 1st edition. 416 pages. 9.50x6.50x1.00 inches. In Stock.
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 333,09
Envío por EUR 9,10Se envía dentro de Estados Unidos de AmericaCantidad disponible: 20 disponibles
Condición: New. 1993. 1st Edition. hardcover. . . . . . Books ship from the US and Ireland.
Idioma: Inglés
Editorial: Gordon & Breach Science Publishers SA, Amsterdam, 1993
- Tapa dura
- Primera edición
Librería: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 389,28
Envío por EUR 32,08Se envía de Australia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: new. Hardcover. The interplay between mathematical logic and the theory of programming languages has aroused an increasing amount of interest during the last two decades. In this research area, the mathematical fields of model theory, logic and ordered structures have received new stimuli from computer scie…nce. Simultaneously, complex mathematical methods have defined new applications in the entire area of semantics of programming languages. Many of the more difficult problems in the theory of computation require a combination of methods from model theory, logic and ordered structures as well as from semantics. The articles in this book deal with both the specialized aspects of the relationship and with pure methods in each of the fields of model theory, ordered structures and semantics. Whereas some chapters are concerned with original research in this area, review articles for the non-specialist are also included. The articles in this book deal with both the specialized aspects of the relationship between mathematical logic and the theory of programming languages, and with pure methods in each of the fields of model theory, ordered structures and semantics. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
