Transitions and Trees: An Introduction to Structural Operational Semantics (Bog, Paperback / softback, Engelsk)

Transitions and Trees: An Introduction to Structural Operational Semantics

(Bog, Paperback / softback, Engelsk)

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

A rigorous, self-contained introduction to structural operational semantics and how to use it to describe, reason about and assist the implementation of features found in common programming languages. The author assumes no experience with any specific programming language, making the book easily accessible to students and computing professionals.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Hans (Aalborg University Huttel
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 29-04-2010
Første udgivelsesår 2010
Illustrationer Worked examples or Exercises; 75 Tables, black and white; 10 Halftones, black and white; 15 Line drawings, black and white
Originalsprog United Kingdom
Sideantal 290
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 290 pages, Worked examples or Exercises; 75 Tables, black and white; 10 Halftones, black and white;
Mål 246 x 177 x 15
ISBN-13 / EAN-13 9780521147095