Formal Models and Semantics

AvBozzano G Luisa

E-bok
PDF, Engelska, 2014

4 094 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 second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

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,0 utav 5 stjärnor. Totalt antal röster:(21)

209 kr259 kr

Jens Ganman - Skjut Gräv Tig, Häftad
  • -17%
Del 2

Skjut Gräv Tig

Jens Ganman

Häftad, 2026

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

189 kr229 kr

Malin Nordström - Kalla mig syster, Pocket
  • -30%
Del 1

Kalla mig syster

Malin Nordström

Pocket, 2026

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

69 kr99 kr

Maggie Haberman, Jonathan Swan - Regime Change, Inbunden
  • Nyhet

Regime Change

Maggie Haberman, Jonathan Swan

Inbunden, 2026

295 kr

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

Bröllopsgästerna

Alison Espach

Pocket, 2026

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

99 kr