skip to content
Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Château de Bonas, September 15-18, 1999 Selected Papers Preview this item
ClosePreview this item
Checking...

Recent Trends in Algebraic Development Techniques : 14th International Workshop, WADT '99, Château de Bonas, September 15-18, 1999 Selected Papers

Author: Didier Bert; Christine Choppy; Peter D Mosses
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 2000.
Series: Lecture Notes in Computer Science, 1827
Edition/Format:   Computer file : Document : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Didier Bert; Christine Choppy; Peter D Mosses
ISBN: 9783540446163 3540446168
OCLC Number: 800984794
Description: 1 online resource.
Details: Nécessite un lecteur de fichier PDF.
Series Title: Lecture Notes in Computer Science, 1827
Responsibility: edited by Didier Bert, Christine Choppy, Peter D. Mosses.

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/800984794> # Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Château de Bonas, September 15-18, 1999 Selected Papers
    a bgn:ComputerFile, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "800984794" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2056363332#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/2056363332#Thing/computer_science> ; # Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/2056363332#Thing/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
   schema:about <http://experiment.worldcat.org/entity/work/data/2056363332#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://experiment.worldcat.org/entity/work/data/2056363332#Thing/software_engineering> ; # Software Engineering
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/2056363332#Thing/programming_techniques> ; # Programming Techniques
   schema:about <http://dewey.info/class/005.11/e23/> ;
   schema:author <http://viaf.org/viaf/45177348> ; # Didier Bert
   schema:datePublished "2000" ;
   schema:editor <http://viaf.org/viaf/41042339> ; # Christine Choppy
   schema:editor <http://viaf.org/viaf/728498> ; # Peter D. Mosses
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2056363332> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science,
   schema:name "Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Château de Bonas, September 15-18, 1999 Selected Papers" ;
   schema:productID "800984794" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/800984794#PublicationEvent/berlin_heidelberg_springer_verlag_berlin_heidelberg_springer_e_books_2000> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2056363332#Agent/springer_e_books> ; # Springer e-books
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2056363332#Agent/springer_verlag_berlin_heidelberg> ; # Springer-Verlag Berlin Heidelberg
   schema:url <http://link.springer.com.rproxy.insa-rennes.fr/book/10.1007/b75154> ;
   schema:url <http://dx.doi.org/10.1007/b75154> ;
   schema:workExample <http://worldcat.org/isbn/9783540446163> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/800984794> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2056363332#Agent/springer_e_books> # Springer e-books
    a bgn:Agent ;
   schema:name "Springer e-books" ;
    .

<http://experiment.worldcat.org/entity/work/data/2056363332#Agent/springer_verlag_berlin_heidelberg> # Springer-Verlag Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer-Verlag Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/2056363332#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/2056363332#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Thing ;
   schema:name "Logics and Meanings of Programs" ;
    .

<http://experiment.worldcat.org/entity/work/data/2056363332#Thing/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Thing ;
   schema:name "Programming Languages, Compilers, Interpreters" ;
    .

<http://experiment.worldcat.org/entity/work/data/2056363332#Thing/programming_techniques> # Programming Techniques
    a schema:Thing ;
   schema:name "Programming Techniques" ;
    .

<http://experiment.worldcat.org/entity/work/data/2056363332#Thing/software_engineering> # Software Engineering
    a schema:Thing ;
   schema:name "Software Engineering" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering" ;
    .

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

<http://viaf.org/viaf/41042339> # Christine Choppy
    a schema:Person ;
   schema:familyName "Choppy" ;
   schema:givenName "Christine" ;
   schema:name "Christine Choppy" ;
    .

<http://viaf.org/viaf/45177348> # Didier Bert
    a schema:Person ;
   schema:familyName "Bert" ;
   schema:givenName "Didier" ;
   schema:name "Didier Bert" ;
    .

<http://viaf.org/viaf/728498> # Peter D. Mosses
    a schema:Person ;
   schema:familyName "Mosses" ;
   schema:givenName "Peter D." ;
   schema:name "Peter D. Mosses" ;
    .

<http://worldcat.org/isbn/9783540446163>
    a schema:ProductModel ;
   schema:isbn "3540446168" ;
   schema:isbn "9783540446163" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/800984794> ; # Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Château de Bonas, September 15-18, 1999 Selected Papers
   schema:issn "0302-9743" ;
   schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/800984794>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/800984794> ; # Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Château de Bonas, September 15-18, 1999 Selected Papers
   schema:dateModified "2018-03-11" ;
   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.