Algorithimic Languages and Calculi

AvLambert Meerkens,Richard Bird

E-bok
PDF, Engelska, 2016

2 822 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning

The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.

Produktinformation

Utforska kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Du kanske också är intresserad av

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,3 utav 5 stjärnor. Totalt antal röster:(9)

209 kr259 kr

David Szalay - Kött, Inbunden
  • -23%

Kött

David Szalay

Inbunden, 2026

4,5 utav 5 stjärnor. Totalt antal röster:(17)

199 kr259 kr

Kristin Hannah - Näktergalen, Pocket
  • 4 för 3

Näktergalen

Kristin Hannah

Pocket, 2023

4,6 utav 5 stjärnor. Totalt antal röster:(65)

99 kr

Fredrik Backman - Mina vänner, Pocket
  • 4 för 3

Mina vänner

Fredrik Backman

Pocket, 2026

4,5 utav 5 stjärnor. Totalt antal röster:(8)

99 kr

Alison Espach - Bröllopsgästerna, Pocket
  • 4 för 3

Bröllopsgästerna

Alison Espach

Pocket, 2026

3,3 utav 5 stjärnor. Totalt antal röster:(9)

99 kr

Clare Leslie Hall - När jorden brister, Pocket
  • 4 för 3

När jorden brister

Clare Leslie Hall

Pocket, 2026

4,0 utav 5 stjärnor. Totalt antal röster:(31)

99 kr