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

Signaler cet article

D�tails bibliographiques

Titre : Mathematical Foundation of Programming ...

�diteur : Springer Berlin Heidelberg

Date d'�dition : 1986

Reliure : Taschenbuch

Etat : Neu

Description de la librairie

Das Unternehmen AHA-BUCH GmbH: Seit der Gr�ndung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisg�nstig wie m�glich ihren B�cherwunsch zu erf�llen. Unsere Firma besch�ftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine W�nsche! Auf �ber 3700 m2 Fl�che haben wir �ber 100.000 B�cher, Modernes Antiquariat und Spiele auf Lager.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

AHA-BUCH GmbH
Garlebsen 48, Einbeck, 37574, Germany

Conditions de vente :

Conditions g�n�rales et informations client

I. Conditions g�n�rales

� 1 Dispositions de base

(1) Les conditions g�n�rales suivantes s?appliquent � tous les contrats que vous concluez avec nous en tant que fournisseur (AHA-BUCH GmbH) via les plateformes Internet AbeBooks et/ou ZVAB. Sauf accord contraire, l?inclusion de l?une de vos propres conditions g�n�rales que vous utilisez sera contest�e

(2) Un consommateur au sens des r�glements suivants est toute personne physique qui conclut une transact...

Pour plus d'information

Conditions de livraison :

Nous exp�dions votre commande apr�s les avoir re�ues
pour les articles disponibles au plus tard 24 heures,
pour les articles avec un approvisionnement de nuit au plus tard 48 heures.
Dans le cas o� nous devons commander un article aupr�s de notre fournisseur, notre d�lai d’exp�dition d�pend de la date de r�ception des articles, mais les articles seront exp�di�s le jour m�me.

Notre objectif est d’envoyer les articles command�s de la mani�re la plus rapide, mais aussi la plus efficace et la plus s�curis�e � nos clients.

Informations vendeur d�taill�es

Modes de paiement
accept�s par le vendeur