Hoppa till sidans huvudinnehåll

Sök efterläsglädje bland miljontals titlarbarnböckernobelvinnarenyheterpresenttipsinspiration

Böcker
Pennor och tillbehör
Kalender
Erbjudanden
Nyheter
Pocket
Topplistor
Kurslitteratur
Presentkort

Våra bästa erbjudanden just nu! ❯

Akademibokhandeln

Om oss
Butiker
Akademibokhandelns vänner
Designsamarbeten
Pressrum
Hållbarhet
Jobba hos oss
Evenemang

Hjälp

Kundservice
Leverans
Betalning
Retur
FAQ
Köpvillkor
Integritetspolicy
Tävlingsvinnare
Information om tillgänglighet

Utvalt sortiment

Nyheter
Topplistor
Pocketböcker
Presentkort
Kurslitteratur
Begagnad kurslitteratur
BookTok
Fantasy
Engelska böcker

Erbjudanden

Aktuella erbjudanden
Vänpriser
Pocketböcker 4 för 3
Låna & Läs
Månadens pocket
Månadens bokcirkeltips
Utvalda spänningsförfattare
Tidningen LÄS
Läsborgarmärket

Inspiration & Tips

Boktips
Bokrecensioner
Personalen tipsar
Akademibokhandelns podcast
Skapa och pyssla
Bokcirkelguide
Barns läsning
Skrivutmaningen
Vässa pennan

Akademibokhandeln

Om oss
Butiker
Akademibokhandelns vänner
Designsamarbeten
Pressrum
Hållbarhet
Jobba hos oss
Evenemang

Hjälp

Kundservice
Leverans
Betalning
Retur
FAQ
Köpvillkor
Integritetspolicy
Tävlingsvinnare
Information om tillgänglighet

Utvalt sortiment

Nyheter
Topplistor
Pocketböcker
Presentkort
Kurslitteratur
Begagnad kurslitteratur
BookTok
Fantasy
Engelska böcker

Erbjudanden

Aktuella erbjudanden
Vänpriser
Pocketböcker 4 för 3
Låna & Läs
Månadens pocket
Månadens bokcirkeltips
Utvalda spänningsförfattare
Tidningen LÄS
Läsborgarmärket

Inspiration & Tips

Boktips
Bokrecensioner
Personalen tipsar
Akademibokhandelns podcast
Skapa och pyssla
Bokcirkelguide
Barns läsning
Skrivutmaningen
Vässa pennan

akademibokhandeln @ CookiesIntegritetspolicy Köpvillkor Medlemsvillkor

Sök efterläsglädje bland miljontals titlarbarnböckernobelvinnarenyheterpresenttipsinspiration

International Symposium on Programming - M. Dezani-Ciancaglini - Häftad | Akademibokhandeln

Data och IT
Systemvetenskap och AI

Del i serien Lecture Notes in Computer Science

International Symposium on Programming

5th Colloquium, Turin, April 6-8, 1982. Proceedings

Häftad, Engelska, 1982

AvM. Dezani-Ciancaglini,U. Montanari

529 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (2)

749 kr

Skickas inom 10-15 vardagar

749 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum1982-03-01
Mått155 x 235 x 23 mm
Vikt628 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor416
Upplaga1982
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540114949

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it

Applicative communicating processes in first order logic.- A machine-level semantics for nondeterministic, parallel programs.- A formalized proof system for total correctness of while programs.- Automatic program transformation viewed as theorem proving.- An enlarged definition and complete axiomatization of observational congruence of finite processes.- Perluette : A compilers producing system using abstract data types.- A weakest precondition semantics for communicating processes.- From abstract model to efficient compilation of patterns.- Computer-based synthesis of logic programs.- On some syntactic equivalences of program schemas and related transformations.- Procedures and concurrency: A study in proof.- Another characterization of weakest preconditions.- Powerdomains and nondeterministic recursive definitions.- Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code.- The simple semantics for Coppo-Dezani-Sallé types.- Proving the correctness of implementations of shared data abstractions.- Specification of communicating processes and process implementation correctness.- A system for reasoning within and about algebraic specifications.- Tuning algebraic specifications by type merging.- Communicating agents for applicative concurrent programming.- On effective computations of non-deterministic schemes.- Specification and verification of concurrent systems in CESAR.- Proof of separability A verification technique for a class of security kernels.- A method for program synthesis.- The use of transformations to implement an algorithm.

Hoppa över listan

Mer från samma serie

Alexandros Moukas, Carles Sierra, Fredrik Ygge - Agent Mediated Electronic Commerce II, Häftad

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Shunli Zhang, Liang-Jie Zhang - Internet of Things – ICIOT 2024, Häftad

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

Per Martin-Löf, Grigori Mints - COLOG-88, Häftad

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Albert Cohen - Compiler Construction, Häftad

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

María Cecilia Reyes, Frank Nack - Interactive Storytelling, Häftad

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Yehuda Lindell - Theory of Cryptography, Häftad

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Dirk van Dalen, Marc Bezem - Computer Science Logic, Häftad

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Tullio Vardanega, Andy Wellings - Reliable Software Technology – Ada-Europe 2005, Häftad

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Alan Dearle, Roberto V. Zicari - Objects and Databases, Häftad

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Hoppa över listan

Du kanske också är intresserad av

EHRIG H, H Ehrig, H-J Kreowski, U Montanari, G Rozenberg - HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION - VOLUME 3: CONCURRENCY, PARALLELISM, AND DISTRIBUTION, Inbunden

HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION - VOLUME 3: CONCURRENCY, PARALLELISM, AND DISTRIBUTION

EHRIG H, H Ehrig, H-J Kreowski, U Montanari, G Rozenberg

Inbunden, 1999

3 439 kr

B. Robinet - International Symposium on Programming, Häftad

International Symposium on Programming

B. Robinet

Häftad, 1980

749 kr

M. Paul, B. Robinet - International Symposium on Programming, Häftad

International Symposium on Programming

M. Paul, B. Robinet

Häftad, 1984

749 kr

Sarah J. Maas - A Court of Splintered Harmony, Häftad

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

Viveca Sten - Fördrivaren, Inbunden

Nyhet

Del 7

Fördrivaren

Viveca Sten

Inbunden, 2026

289 kr319 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Pascal Engman - Kärleken, Inbunden

Nyhet

Del 3

Kärleken

Pascal Engman

Inbunden, 2026

269 kr299 kr

Katarina Wennstam - Moder blod, Inbunden

Nyhet

Del 4

Moder blod

Katarina Wennstam

Inbunden, 2026

269 kr299 kr

Lars Kepler - Medusa, Inbunden

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Rebecca Yarros - Threshing Day (Limited Deluxe Edition), Inbunden

Nyhet

Threshing Day (Limited Deluxe Edition)

Rebecca Yarros

Inbunden, 2026

339 kr