9783540565963 - semantics: foundations and applications: rex workshop, beekbergen, the netherlands, june 1-4, 1992. proceedings (lecture notes in computer science, 666, band 666) von bakker, j.w.de; roever, w.-p.de; rozenberg, g. (2 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,65
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Weitere Bilder
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 65,04 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Researchers working on the semantics of programminglanguages came together in The Netherlands in June 1992 fora workshop on Semantics - Foundations and Applications. Thisvolume is based on the meeting and contains materialprepared by the lecturers af…ter the meeting took place. Thevolume includes papers on a wide range of topics in bothfoundationsand applications, including: Comparative domain theory, category theory, informationsystems Concurrency: process algebras, asynchronous communicationaction semantics, trace nets, process refinement, concurrentconstraint programming Predicate transformers, refinement,weakest preconditions Comparative semantics of programming concepts, fullabstraction Reasoning about programs: total correctness, epistemiclogic Logic programming Functional programming: sequentiality, integration withconcurrency, applied structured operational semantics.The workshop was an activity of the project REX (ResearchandEducation in Concurrent Systems) sponsored by theNetherlands NFI (NationaleFaciliteit Informatica)Programme.
