Softcover. 1986. VI, 395 p. Unread book. Very good condition. Minimal traces of storage. Pages slightly yellowed. 9783540168164 Sprache: Englisch Gewicht in Gramm: 777. N� de r�f. du vendeur 219386

Contacter le vendeur

Acheter D'occasion

EUR 42,90

Autre devise

Frais de port : EUR 11,95

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Mathematical Foundation of Programming Semantics

Melton, Austin C.

Edit� par Springer Berlin Heidelberg, 1986

ISBN 10 : 3540168168 ISBN 13 : 9783540168164

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Standard, storeless semantics for ALGOL-style block structure and call-by-name.- Cartesian closed categories, quasitopoi and topological universes.- Concrete categories and injectivity.- Fixed points in process algebras with internal actions.- A fully abstr. N� de r�f. du vendeur 4883225

Contacter le vendeur

Acheter neuf

EUR 48,37

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings

Austin Melton

Edit� par Springer Berlin Heidelberg, 1986

ISBN 10 : 3540168168 ISBN 13 : 9783540168164

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Standard, storeless semantics for ALGOL-style block structure and call-by-name.- Cartesian closed categories, quasitopoi and topological universes.- Concrete categories and injectivity.- Fixed points in process algebras with internal actions.- A fully abstract semantics and a proof system for an algol-like language with sharing.- Comparing categories of domains.- Galois connections.- Retracts of SFP objects.- Continuous categories.- Free constructions of powerdomains.- Additive domains.- A topological framework for cpos lacking bottom elements.- Detecting local finite breadth in continuous lattices and semilattices.- On the variety concept for -continuous algebras. Application of a general approach.- On denotational semantics of data bases.- Postconditional semantics of data base queries.- What is a model A consumer's perspective on semantic theory.- Modal theory, partial orders, and digital geometry.- An FP domain with infinite objects.- Union complete countable subset systems.- On the syntax and semantics of concurrent computing. N� de r�f. du vendeur 9783540168164

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Mathematical Foundation of Programming Semantics: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings (Lecture Notes in Computer Science, 239)

Melton, Austin

Edit� par Springer, 1986

ISBN 10 : 3540168168 ISBN 13 : 9783540168164

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540168164_new

Contacter le vendeur

Acheter neuf

EUR 62,21

Autre devise

Frais de port : EUR 4,74

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Mathematical Foundation of Programming Semantics: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings (Lecture Notes in Computer Science, 239)

Melton, Austin

Edit� par Springer, 1986

ISBN 10 : 3540168168 ISBN 13 : 9783540168164

Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9783540168164

Contacter le vendeur

Acheter neuf

EUR 68,10

Autre devise

Frais de port : EUR 7,15

De Etats-Unis vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Mathematical Foundation of Programming Semantics

Austin Melton

Edit� par Springer Berlin Heidelberg Okt 1986, 1986

ISBN 10 : 3540168168 ISBN 13 : 9783540168164

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Standard, storeless semantics for ALGOL-style block structure and call-by-name.- Cartesian closed categories, quasitopoi and topological universes.- Concrete categories and injectivity.- Fixed points in process algebras with internal actions.- A fully abstract semantics and a proof system for an algol-like language with sharing.- Comparing categories of domains.- Galois connections.- Retracts of SFP objects.- Continuous categories.- Free constructions of powerdomains.- Additive domains.- A topological framework for cpos lacking bottom elements.- Detecting local finite breadth in continuous lattices and semilattices.- On the variety concept for -continuous algebras. Application of a general approach.- On denotational semantics of data bases.- Postconditional semantics of data base queries.- What is a model A consumer's perspective on semantic theory.- Modal theory, partial orders, and digital geometry.- An FP domain with infinite objects.- Union complete countable subset systems.- On the syntax and semantics of concurrent computing. 408 pp. Englisch. N� de r�f. du vendeur 9783540168164

Contacter le vendeur