skip to content
Handbook of theoretical computer science. Volume B Formal models and semantics Preview this item
ClosePreview this item
Checking...

Handbook of theoretical computer science. Volume B Formal models and semantics

Author: J van Leeuwen
Publisher: Amsterdam : Elsevier ; Cambridge, Mass. : MIT Press, ©1990.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Presents information on the theory of automata and rewriting systems, the foundations of modern programming languages and logics for program specification and verification. This work contains  Read more...

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

Document Type: Book
All Authors / Contributors: J van Leeuwen
ISBN: 0444880747 9780444880741 0444880755 9780444880758
OCLC Number: 40638247
Description: xiv, 1273 p. ; 25 cm
Contents: Finite Automata (D. Perrin). Context-Free Languages (J. Berstel, L. Boasson). Formal Languages and Power Series (A. Salomaa). Automata on Infinite Objects (W. Thomas). Graph Rewriting: an Algebraic and Logic Approach (B. Courcelle). Rewrite Systems (N. Dershowitz, J.-P. Jouannaud). Functional Programming and Lambda Calculus (H.P. Barendregt). Type Systems for Programming Languages (J.C. Mitchell). Recursive Applicative Program Schemes (B. Courcelle). Logic Programming (K.R. Apt). Denotational Semantics (P.D. Mosses). Semantic Domains (G.A. Gunter, D.S. Scott). Algebraic Specification (M. Wirsing). Logics of Programs (D. Kozen, J. Tiuryn). Methods and Logics for Proving Programs (P. Cousot). Temporal and Modal Logic (E.A. Emerson). Elements of Relational Database Theory (P. Kanellakis). Distributed Computing: Models and Methods (L. Lamport, N. Lynch). Operational and Algebraic Semantics of Concurrent Processes (R. Milner). Subject Index.
Other Titles: Formal models and semantics
Responsibility: edited by Jan van Leeuwen.

Reviews

Editorial reviews

Publisher Synopsis

Addressing the central areas of theoretical computer science, the handbook provides the student or professional with a comprehensive perspective on the main results and developments in this field. Read more...

 
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/40638247> # Handbook of theoretical computer science. Volume B Formal models and semantics
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "40638247" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/690616505#Place/cambridge_mass> ; # Cambridge, Mass.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/690616505#Place/amsterdam> ; # Amsterdam
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/langage_formel> ; # langage formel
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/programmation_fonctionnelle> ; # programmation fonctionnelle
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/semantique_denotationnelle> ; # sémantique dénotationnelle
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/processus_concurrent> ; # processus concurrent
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/schema_programme> ; # schéma programme
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/concurrence> ; # concurrence
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/programmation_en_logique> ; # programmation en logique
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/logique_temporelle> ; # logique temporelle
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/programme_demonstration> ; # programme démonstration
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/base_donnee_relationnelle> ; # base donnée relationnelle
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/logique_programme> ; # logique programme
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/specification_algebrique> ; # spécification algébrique
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/theorie_base_donnee> ; # théorie base donnée
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/donnee_repartie> ; # donnée répartie
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/serie_puissance> ; # série puissance
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/automate_fini> ; # automate fini
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/programmeertalen> ; # Programmeertalen
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/lambda_calcul> ; # lambda calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/informatique_guides_manuels_etc> ; # Informatique--Guides, manuels, etc
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/reecriture> ; # réécriture
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/logique_modale> ; # logique modale
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/semantique> ; # sémantique
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/langage_algebrique> ; # langage algébrique
   schema:about <http://experiment.worldcat.org/entity/work/data/690616505#Topic/modele_formel> ; # modèle formel
   schema:alternateName "Formal models and semantics" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/690616505#Person/leeuwen_j_van_jan> ; # Jan Leeuwen
   schema:copyrightYear "1990" ;
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/690616505> ;
   schema:inLanguage "en" ;
   schema:name "Handbook of theoretical computer science. Volume B Formal models and semantics" ;
   schema:numberOfPages "1273" ;
   schema:productID "40638247" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/40638247#PublicationEvent/amsterdam_elsevier_cambridge_mass_mit_press_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/690616505#Agent/elsevier> ; # Elsevier
   schema:publisher <http://experiment.worldcat.org/entity/work/data/690616505#Agent/mit_press> ; # MIT Press
   schema:workExample <http://worldcat.org/isbn/9780444880741> ;
   schema:workExample <http://worldcat.org/isbn/9780444880758> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/40638247> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/690616505#Person/leeuwen_j_van_jan> # Jan Leeuwen
    a schema:Person ;
   schema:familyName "Leeuwen" ;
   schema:givenName "Jan" ;
   schema:givenName "J. van" ;
   schema:name "Jan Leeuwen" ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
   schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/base_donnee_relationnelle> # base donnée relationnelle
    a schema:Intangible ;
   schema:name "base donnée relationnelle" ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/informatique_guides_manuels_etc> # Informatique--Guides, manuels, etc
    a schema:Intangible ;
   schema:name "Informatique--Guides, manuels, etc" ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/langage_algebrique> # langage algébrique
    a schema:Intangible ;
   schema:name "langage algébrique" ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/processus_concurrent> # processus concurrent
    a schema:Intangible ;
   schema:name "processus concurrent" ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/programmation_en_logique> # programmation en logique
    a schema:Intangible ;
   schema:name "programmation en logique" ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/programmation_fonctionnelle> # programmation fonctionnelle
    a schema:Intangible ;
   schema:name "programmation fonctionnelle" ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/programme_demonstration> # programme démonstration
    a schema:Intangible ;
   schema:name "programme démonstration" ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/semantique_denotationnelle> # sémantique dénotationnelle
    a schema:Intangible ;
   schema:name "sémantique dénotationnelle" ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/specification_algebrique> # spécification algébrique
    a schema:Intangible ;
   schema:name "spécification algébrique" ;
    .

<http://experiment.worldcat.org/entity/work/data/690616505#Topic/theorie_base_donnee> # théorie base donnée
    a schema:Intangible ;
   schema:name "théorie base donnée" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://worldcat.org/isbn/9780444880741>
    a schema:ProductModel ;
   schema:isbn "0444880747" ;
   schema:isbn "9780444880741" ;
    .

<http://worldcat.org/isbn/9780444880758>
    a schema:ProductModel ;
   schema:isbn "0444880755" ;
   schema:isbn "9780444880758" ;
    .

<http://www.worldcat.org/title/-/oclc/40638247>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/40638247> ; # Handbook of theoretical computer science. Volume B Formal models and semantics
   schema:dateModified "2017-10-23" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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