Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Mathematical Foundations of Programming Semantics

Name: Mathematical Foundations of Programming Semantics
Brand: Springer-Verlag New York Inc.
SKU: 01385193
Price: 51.49 EUR
Availability: InStock
Author: Michael G. Main
ISBN: 9780387973753

5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings

Language

English

Book Paperback

Libristo code: 01385193

Publishers Springer-Verlag New York Inc., July 1990

This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Prog... Full description

Libristo code: 01385193

125 b

51.49 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Histoire culturelle de la France, tome 1 Jean-Pierre Rioux

Paperback

14.81 €

Pop a l'ecole Bisinski

Paperback

8.96 €

Môj pracovný zošit Úžasné bludiská Toshihiki Karakido

Paperback

5.13 €

Wie man mit einem Mann unglücklich wird

Paperback

13.49 €

Entwürfe für disaggregierte Modelle zur Arbeitsmarktprognose für die Bundesrepublik Deutschland. Harald Gerfin

Paperback

48.06 €

Grundlagen Funktionaler Integration Eli Wadler

Paperback

26.90 €

PrzestĘpstwa Seksualne We FrankofoŃskiej Afryce Subsaharyjskiej

Paperback

63.79 €

Libro de Lumbres ANA CONTRERAS ELVIRA

Paperback

12.08 €

Praha zkouřená - Deník dealera Jindřich Krása

Paperback

9.67 €

Prisma Evaluacion B1 / B2 Noelia González Verdejo y Jan Peter Nauta

Paperback

47.26 €

Wie man in fünf Tagen Kurde wird Leslie Tramontini

Hardback

21.46 €

Plzeňsko sever 1:60 000 neuvedený autor

Map

6.24 €

Mit Volldampf durchs Erzgebirge Ingo Thiele

Hardback

22.46 €

Goool! / Goal! Robert Rigby

Paperback

8.35 €

Zur Morphologie: Reisebemerkungen aus Taurien Heinrich Rathke

Paperback

21.15 €

Materiales termoplasticos biodegradables Castano a Johanna

Paperback

60.26 €

Luana Juliette Jano

Paperback

11.78 €

Desde aquella oscuridad : conversaciones con el verdugo : Franz Stangl, comandante de Treblinka Gitta Sereny

Paperback

35.57 €

20000 LEAGUES UNDER THE SEA Jules Verne

Paperback

10.47 €

Der neue Berg Franz Hohler

Paperback

12.59 €

Seligkeit A. /Philharmonia Schrammeln Kirchschlager

Audio CD

13.70 €

De vacacións a marte, nivel 3, 3 trimestre, explora : exploradores do tempo Susana Domínguez Caballero

Paperback

36.37 €

Lissabon - 1.000 Teile (Puzzle)

Game

31.43 €

Roman uber die europaische Unruhe Thomas Mechler

Paperback

38.19 €

This is the latest in a series of proceedings of conferences on the Mathematical Foundations of Programming Semantics. The purpose of the series is to bring together mathematicians and theoretical computer scientists who share the common interests of working on problems related to programming language semantics. The purpose of the book is to bring into print as quickly as possible papers which reflect the state of research on the topics comprising this area. The intended audience for the book consists of those researchers and graduate students with an interest in the research areas which are related to those presented in the book: programming language semantics, including algebraic, denotational and operational semantics, logics of programs, specification techniques, etc., and the relevant areas of mathematics research, including category theory, domain theory, ordered structures and lattice theory, and metric space methods. The papers included in the book represent the latest results in various facets of this rather broad research area, and this is the first time some of the ideas contained in these works are appearing in print.