Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Semantics: Foundations and Applications

Name: Semantics: Foundations and Applications
Brand: Springer, Berlin
SKU: 01565629
Price: 97.28 EUR
Availability: InStock
Author: Jacobus W. de Bakker
ISBN: 9783540565963

REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings

Jacobus W. de Bakker

Willem-Paul de Roever

Grzegorz Rozenberg

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01565629

Založba Springer, Berlin, november 1992

Researchers working on the semantics of programming languages came together in The Netherlands in Ju... Celoten opis

Koda Libristo: 01565629

236 b

97.28 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Homo Faber Max Frisch

Mehka

8.58 €

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 foundations and applications, including:- Comparative domain theory, category theory, information systems,- Concurrency: process algebras, a synchronous 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, epistemiclogic,- Logic programming,- Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (ResearchandEducation in Concurrent Systems) sponsored by the Netherlands NFI (Nationale Faciliteit Informatica) Programme.