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/formale_semantik> # Formale Semantik
    a schema:Intangible ;
    schema:name "Formale Semantik"@en ;
    .

<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.