skip to content
Action semantics Preview this item
ClosePreview this item
Checking...

Action semantics

Author: Peter Mosses
Publisher: Cambridge ; New York : Cambridge University Press, 1992.
Series: Cambridge tracts in theoretical computer science, 26.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Peter Mosses
ISBN: 0521403472 9780521403474
OCLC Number: 27938402
Description: xx, 372 pages : illustrations ; 26 cm.
Contents: Motivation --
Concepts --
Formalities --
Basic --
Data --
Functional --
Declarative --
Imperative --
Reflective --
Communicative --
Statements --
Literals --
Expressions --
Declarations --
Variables --
Subprogramming --
Tasks --
Other frameworks --
Development.
Series Title: Cambridge tracts in theoretical computer science, 26.
Responsibility: Peter D. Mosses.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/27938402> # Action semantics
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "27938402" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/43564260#Place/cambridge> ; # Cambridge
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/formale_semantik> ; # Formale Semantik
   schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
   schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/semantique_action> ; # sémantique action
   schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://dewey.info/class/005.131/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/programmation_informatique> ; # Programmation (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/programmiersprache> ; # Programmiersprache
   schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Thing/programming_languages> ; # Programming languages
   schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/semantique_formelle> ; # sémantique formelle
   schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/semantique_langage_programmation> ; # sémantique langage programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/semantik> ; # Semantik
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/43564260#Person/mosses_peter> ; # Peter Mosses
   schema:datePublished "1992" ;
   schema:description "Motivation -- Concepts -- Formalities -- Basic -- Data -- Functional -- Declarative -- Imperative -- Reflective -- Communicative -- Statements -- Literals -- Expressions -- Declarations -- Variables -- Subprogramming -- Tasks -- Other frameworks -- Development."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/43564260> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/43564260#Series/cambridge_tracts_in_theoretical_computer_science> ; # Cambridge tracts in theoretical computer science ;
   schema:name "Action semantics"@en ;
   schema:productID "27938402" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/27938402#PublicationEvent/cambridge_new_york_cambridge_university_press_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/43564260#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://catdir.loc.gov/catdir/toc/cam029/92249086.html> ;
   schema:workExample <http://worldcat.org/isbn/9780521403474> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9248990> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/27938402> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Person/mosses_peter> # Peter Mosses
    a schema:Person ;
   schema:familyName "Mosses" ;
   schema:givenName "Peter" ;
   schema:name "Peter Mosses" ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Series/cambridge_tracts_in_theoretical_computer_science> # Cambridge tracts in theoretical computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/27938402> ; # Action semantics
   schema:name "Cambridge tracts in theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Thing/programming_languages> # Programming languages
    a schema:Thing ;
   schema:name "Programming languages" ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
   schema:name "Langages de programmation--Sémantique"@en ;
   schema:name "Langages de programmation--Sémantique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
   schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
   schema:name "Programmiersprache"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Topic/semantique_action> # sémantique action
    a schema:Intangible ;
   schema:name "sémantique action"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Topic/semantique_formelle> # sémantique formelle
    a schema:Intangible ;
   schema:name "sémantique formelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Topic/semantique_langage_programmation> # sémantique langage programmation
    a schema:Intangible ;
   schema:name "sémantique langage programmation"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85107316> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/1078716> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://worldcat.org/isbn/9780521403474>
    a schema:ProductModel ;
   schema:isbn "0521403472" ;
   schema:isbn "9780521403474" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.