Cambridge Tracts in Theoretical Computer ScienceSeries Number 26- Action Semantics Series Number 26: Action Semantics

Name: Cambridge Tracts in Theoretical Computer ScienceSeries Number 26- Action Semantics
Author: Peter D. Mosses

Auteur: Peter D. Mosses

Taal: Engels

Afbeeldingen

Inkijkexemplaar

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Uitgever: Cambridge University Press

Auteur: Peter D. Mosses Mosses Peter D.

Engels
Paperback
9780521619332
17 februari 2005
396 pagina's

Alle productspecificaties

Samenvatting

Action Semantics is a comprehensive introduction to the semantics of programming languages. It will be of use to graduates of computer science and mathematics.

Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use. Graduates of computer science or maths who have an interest in the semantics of programming languages will find Action Semantics a most helpful book.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 17 februari 2005
Aantal pagina's: 396
Illustraties: Nee

Betrokkenen

Hoofdauteur: Peter D. Mosses
Tweede Auteur: Mosses Peter D.
Hoofdredacteur: C. J. Van Rijsbergen
Tweede Redacteur: S. Abramsky
Co Redacteur: P. H. Aczel
Hoofduitgeverij: Cambridge University Press

Vertaling

Originele titel: Action Semantics

Overige kenmerken

Editie: New edition
Extra groot lettertype: Nee
Product breedte: 188 mm
Product hoogte: 19 mm
Product lengte: 246 mm
Studieboek: Ja
Verpakking breedte: 188 mm
Verpakking hoogte: 19 mm
Verpakking lengte: 246 mm
Verpakkingsgewicht: 700 g

EAN

EAN: 9780521619332

Je vindt dit artikel in

Categorieën: Computers & Informatica

Computertechnologie

Wiskunde voor computerwetenschappers

Boeken
Beschikbaarheid: Leverbaar
Taal: Engels
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.