skip to content
Theoretical foundations of computer science Preview this item
ClosePreview this item
Checking...

Theoretical foundations of computer science

Author: Dino Mandrioli; Carlo Ghezzi
Publisher: New York : Wiley, ©1987.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This text discusses the basic concepts of theoretical computer science (formal languages, automata theory and the theory of computability) and shows their application to current programming practice.

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

Additional Physical Format: Online version:
Mandrioli, Dino.
Theoretical foundations of computer science.
New York : Wiley, ©1987
(OCoLC)570256960
Online version:
Mandrioli, Dino.
Theoretical foundations of computer science.
New York : Wiley, ©1987
(OCoLC)608606419
Document Type: Book
All Authors / Contributors: Dino Mandrioli; Carlo Ghezzi
ISBN: 0471838349 9780471838340 0471859184 9780471859185
OCLC Number: 15162953
Description: xxv, 478 pages : illustrations ; 24 cm
Contents: Mathematical Background; Models for Computer Science: Automata and Grammars; Solvable and Unsolvable Problems; The Complexity of Computing; Formal Semantics; Proving Program Properties; Nondetermination and Parallel Computation.
Responsibility: Dino Mandrioli, Carlo Ghezzi.
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/15162953> # Theoretical foundations of computer science
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "15162953" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/8503765#Topic/szamitastechnika> ; # számítástechnika
    schema:about <http://experiment.worldcat.org/entity/work/data/8503765#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/8503765#Topic/mathematics> ; # Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/8503765#Topic/informatique_mathematiques> ; # Informatique--Mathématiques
    schema:about <http://experiment.worldcat.org/entity/work/data/8503765#Topic/68qxx> ; # 68Qxx
    schema:about <http://experiment.worldcat.org/entity/work/data/8503765#Topic/mathematiques> ; # Mathématiques
    schema:about <http://dewey.info/class/004.01/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/8503765#Thing/computer_sciences> ; # Computer sciences
    schema:about <http://experiment.worldcat.org/entity/work/data/8503765#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/8503765#Topic/theoretische_informatik> ; # Theoretische Informatik
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/71484399> ; # Carlo Ghezzi
    schema:copyrightYear "1987" ;
    schema:creator <http://viaf.org/viaf/85389051> ; # Dino Mandrioli
    schema:datePublished "1987" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/8503765> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/570256960> ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/608606419> ;
    schema:name "Theoretical foundations of computer science"@en ;
    schema:productID "15162953" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/15162953#PublicationEvent/new_york_wiley_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/8503765#Agent/wiley> ; # Wiley
    schema:workExample <http://worldcat.org/isbn/9780471838340> ;
    schema:workExample <http://worldcat.org/isbn/9780471859185> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8922323> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/15162953> ;
    .


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/8503765#Thing/computer_sciences> # Computer sciences
    a schema:Thing ;
    schema:name "Computer sciences" ;
    .

<http://experiment.worldcat.org/entity/work/data/8503765#Topic/computer_science> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/8503765#Topic/informatique_mathematiques> # Informatique--Mathématiques
    a schema:Intangible ;
    schema:name "Informatique--Mathématiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/8503765#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/8503765#Topic/szamitastechnika> # számítástechnika
    a schema:Intangible ;
    schema:name "számítástechnika"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/8503765#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
    schema:name "Theoretische Informatik"@en ;
    .

<http://viaf.org/viaf/71484399> # Carlo Ghezzi
    a schema:Person ;
    schema:familyName "Ghezzi" ;
    schema:givenName "Carlo" ;
    schema:name "Carlo Ghezzi" ;
    .

<http://viaf.org/viaf/85389051> # Dino Mandrioli
    a schema:Person ;
    schema:familyName "Mandrioli" ;
    schema:givenName "Dino" ;
    schema:name "Dino Mandrioli" ;
    .

<http://worldcat.org/isbn/9780471838340>
    a schema:ProductModel ;
    schema:isbn "0471838349" ;
    schema:isbn "9780471838340" ;
    .

<http://worldcat.org/isbn/9780471859185>
    a schema:ProductModel ;
    schema:isbn "0471859184" ;
    schema:isbn "9780471859185" ;
    .

<http://www.worldcat.org/oclc/570256960>
    a schema:CreativeWork ;
    rdfs:label "Theoretical foundations of computer science." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/15162953> ; # Theoretical foundations of computer science
    .

<http://www.worldcat.org/oclc/608606419>
    a schema:CreativeWork ;
    rdfs:label "Theoretical foundations of computer science." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/15162953> ; # Theoretical foundations of computer science
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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