Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 39 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
100,90 €
Springer
Sivumäärä: 667 sivua
Asu: Pehmeäkantinen kirja
Painos: 1993 ed.
Julkaisuvuosi: 1993, 29.04.1993 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 666
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 after 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 communication,action 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.

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

Tilaustuote

Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.

Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Semantics: Foundations and Applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. ProceedingsSuurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783540565963
Kansikuva tuotteelle