Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (Lecture Notes in Computer Science)

Bakker, J.W.de, W.-P.de Roever and G. Rozenberg:

ISBN 10: 3540565965 ISBN 13: 9783540565963

Verlag: Springer, 1993

Sprache: Englisch

Gebraucht Zustand: Sehr gut Softcover

F�r sp�ter vormerken

Verkauft von NEPO UG, R�sselsheim am Main, Deutschland

AbeBooks-Verk�ufer seit 15. November 2018

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Sehr gut

Preis: EUR 24,75 W�hrung umrechnen

EUR 4,00 f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

676 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 23,6 x 16,0 x 3,8 cm, Taschenbuch.

Bestandsnummer des Verk�ufers 371164

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Semantics: Foundations and Applications: REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings (Lecture Notes in Computer Science)

Verlag

Springer

Ver�ffentlichungsdatum

1993

Sprache

Englisch

ISBN-10

3540565965

ISBN-13

9783540565963

Bindung

Softcover

Ausgabe

Auflage: 1993.

Zustand

Sehr gut

Verk�uferkataloge

Alle B�cher

�ber diesen Titel

Inhaltsangabe

Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement,weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Sitz der Gesellschaft: Fachbuecher-Weltversand NEPO UG Bahnhofsplatz 1 65428 R�sselsheim am Main eingetragen im Handelsregister des Amtsgerichtes Darmstadt Handelsregisternummer HRB 103822 ** Versandanschrift: Fachbuecher-Weltversand NEPO UG Bahnhofsplatz 1 65428 R�sselsheim am Main eingetragen im Handelsregister des Amtsgerichtes Darmstadt Handelsregisternummer HRB 103822 ** kundenservice @ fachbuecher-weltversand.de Umsatzsteuer-Identifikationsnummer gem�� 27a Umsatzsteuergesetz DE240798524

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

NEPO UG
Bahnhofsplatz 1, R�sselheim am Main, 65428, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Widerrufsbelehrung
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen.
Die Widerrufsfrist betr�gt vierzehn Tage ab dem Tag an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Bef�rderer ist, die Waren in Besitz genommen haben bzw. hat..Um Ihr Widerrufsrecht auszu�ben, m�ssen Sie uns
NEPO UG
Bahnhofsplatz 1
65428 R�sselsheim am Main
eingetragen im Handelsregister des Amtsgerichtes Darmstadt
Handelsregisternummer HRB 103822
Ste...

Mehr Information