Transitions and Trees An Introduction to Structural Operational Semantics
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Uitgever: Cambridge University Press
Auteur:
Hans Huttel
Hans H. Ttel
- Engels
- Hardcover
- 9780521197465
- 29 april 2010
- 290 pagina's
Samenvatting
Structural operational semantics is a simple, yet powerful mathematical theory for describing the behaviour of programs in an implementation-independent manner. This book provides a self-contained introduction to structural operational semantics, featuring semantic definitions using big-step and small-step semantics of many standard programming language constructs, including control structures, structured declarations and objects, parameter mechanisms and procedural abstraction, concurrency, nondeterminism and the features of functional programming languages. Along the way, the text introduces and applies the relevant proof techniques, including forms of induction and notions of semantic equivalence (including bisimilarity). Thoroughly class-tested, this book has evolved from lecture notes used by the author over a 10-year period at Aalborg University to teach undergraduate and graduate students. The result is a thorough introduction that makes the subject clear to students and computing professionals without sacrificing its rigour. No experience with any specific programming language is required.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Hardcover
- Oorspronkelijke releasedatum
- 29 april 2010
- Aantal pagina's
- 290
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Hans Huttel
- Tweede Auteur
- Hans H. Ttel
- Hoofduitgeverij
- Cambridge University Press
Overige kenmerken
- Extra groot lettertype
- Nee
- Product breedte
- 180 mm
- Product hoogte
- 19 mm
- Product lengte
- 254 mm
- Studieboek
- Nee
- Verpakking breedte
- 180 mm
- Verpakking hoogte
- 19 mm
- Verpakking lengte
- 254 mm
- Verpakkingsgewicht
- 670 g
EAN
- EAN
- 9780521197465
Je vindt dit artikel in
Kies gewenste uitvoering
Kies je bindwijze
(2)
Prijsinformatie en bestellen
De prijs van dit product is 105 euro en 99 cent. De meest getoonde prijs is 135 euro. Je bespaart 21%.
Je bespaart 21%
3 - 4 weken
Verkoop door bol
- Prijs inclusief verzendkosten, verstuurd door bol
- Ophalen bij een bol afhaalpunt mogelijk
- 30 dagen bedenktijd en gratis retourneren
- Dag en nacht klantenservice
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.