skip to content
Théorie des programmes : schémas, preuves, sémantique Preview this item
ClosePreview this item
Checking...

Théorie des programmes : schémas, preuves, sémantique

Author: C Livercy, pseud. collectif.
Publisher: Paris : Dunod, 1978
Series: Dunod informatique, Phase formation
Edition/Format:   Print book : FrenchView all editions and formats
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

Genre/Form: [manuel]
manuel
Document Type: Book
All Authors / Contributors: C Livercy, pseud. collectif.
ISBN: 2040105166 9782040105167
OCLC Number: 461678153
Notes: Bibliogr. p. 315-322. Index.
Description: XII-328 p. ; 24 cm.
Series Title: Dunod informatique, Phase formation
Responsibility: par C. Livercy ...
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/461678153> # Théorie des programmes : schémas, preuves, sémantique
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "461678153" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/821920342#Place/paris> ; # Paris
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/821920342#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/821920342#Topic/verification_programme> ; # vérification programme
    schema:about <http://experiment.worldcat.org/entity/work/data/821920342#Topic/semantique_langage_programmation> ; # sémantique langage programmation
    schema:about <http://dewey.info/class/620/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/821920342#Topic/probleme_recursif> ; # problème récursif
    schema:about <http://experiment.worldcat.org/entity/work/data/821920342#Topic/schema_programme> ; # schéma programme
    schema:about <http://experiment.worldcat.org/entity/work/data/821920342#Topic/nain> ; # NAIN
    schema:about <http://experiment.worldcat.org/entity/work/data/821920342#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/821920342#Topic/theorie_programmation> ; # théorie programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/821920342#Topic/conception_programme> ; # conception programme
    schema:about <http://experiment.worldcat.org/entity/work/data/821920342#Topic/preuve_programme> ; # preuve programme
    schema:about <http://experiment.worldcat.org/entity/work/data/821920342#Topic/programmation> ; # programmation
    schema:author <http://viaf.org/viaf/52960875> ; # pseud. collectif. C. Livercy
    schema:bookFormat bgn:PrintBook ;
    schema:datePublished "1978" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/821920342> ;
    schema:genre "[manuel]"@fr ;
    schema:inLanguage "fr" ;
    schema:isPartOf <http://worldcat.org/issn/0154-5450> ; # Dunod informatique, Phase formation,
    schema:name "Théorie des programmes : schémas, preuves, sémantique"@fr ;
    schema:productID "461678153" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/461678153#PublicationEvent/paris_dunod_1978_paris_impr_jouve> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/821920342#Agent/dunod> ; # Dunod
    schema:workExample <http://worldcat.org/isbn/9782040105167> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/461678153> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/821920342#Topic/conception_programme> # conception programme
    a schema:Intangible ;
    schema:name "conception programme"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/821920342#Topic/ordinateurs_programmation> # Ordinateurs--Programmation
    a schema:Intangible ;
    schema:name "Ordinateurs--Programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/821920342#Topic/probleme_recursif> # problème récursif
    a schema:Intangible ;
    schema:name "problème récursif"@fr ;
    .

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

<http://experiment.worldcat.org/entity/work/data/821920342#Topic/schema_programme> # schéma programme
    a schema:Intangible ;
    schema:name "schéma programme"@fr ;
    .

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

<http://experiment.worldcat.org/entity/work/data/821920342#Topic/theorie_programmation> # théorie programmation
    a schema:Intangible ;
    schema:name "théorie programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/821920342#Topic/verification_programme> # vérification programme
    a schema:Intangible ;
    schema:name "vérification programme"@fr ;
    .

<http://viaf.org/viaf/52960875> # pseud. collectif. C. Livercy
    a schema:Person ;
    schema:familyName "Livercy" ;
    schema:givenName "C." ;
    schema:name "pseud. collectif. C. Livercy" ;
    .

<http://worldcat.org/isbn/9782040105167>
    a schema:ProductModel ;
    schema:isbn "2040105166" ;
    schema:isbn "9782040105167" ;
    .

<http://worldcat.org/issn/0154-5450> # Dunod informatique, Phase formation,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/461678153> ; # Théorie des programmes : schémas, preuves, sémantique
    schema:issn "0154-5450" ;
    schema:name "Dunod informatique, Phase formation," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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