skip to content
TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 Preview this item
ClosePreview this item
Checking...

TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

Author: Samson Abramsky; Thomas S E Maibaum
Publisher: Berlin ; New York : Springer-Verlag, 1991-
Series: Lecture notes in computer science, 493.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:
"TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining  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

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton, England).
TAPSOFT ʼ91.
Berlin ; New York : Springer-Verlag, 1991-
(OCoLC)802299350
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Samson Abramsky; Thomas S E Maibaum
ISBN: 0387539824 9780387539829 3540539824 9783540539827 3540539816 9783540539810 0387539816 9780387539812
OCLC Number: 23825262
Description: volumes <1> : illustrations ; 25 cm.
Contents: v. 1. Colloquium on trees in algebra and programming (CAAP '91) --
v. 2. Advances in distributed computing (ADC) and Colloquium on Combining Pradigms for Software Development (CCPDS).
Series Title: Lecture notes in computer science, 493.
Responsibility: S. Abramsky, T.S.E. Maibaum, eds.
More information:

Abstract:

The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms  Read more...

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/23825262> # TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "23825262" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3856606465#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3856606465#Topic/parallelisme_informatique> ; # Parallélisme (informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/3856606465#Topic/programacao_de_computadores> ; # Programacao de computadores
    schema:about <http://experiment.worldcat.org/entity/work/data/3856606465#Topic/computer_software_development> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/3856606465#Topic/teoria_da_computacao> ; # Teoria da computacao
    schema:about <http://experiment.worldcat.org/entity/work/data/3856606465#Topic/logiciels_developpement> ; # Logiciels--Développement
    schema:about <http://dewey.info/class/005.1/e20/> ;
    schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/110055894> ; # Thomas S. E. Maibaum
    schema:contributor <http://viaf.org/viaf/109321899> ; # Samson Abramsky
    schema:creator <http://experiment.worldcat.org/entity/work/data/3856606465#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_4th_1991_brighton_england> ; # International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton, England)
    schema:datePublished "1991/" ;
    schema:datePublished "1991/9999" ;
    schema:description "v. 1. Colloquium on trees in algebra and programming (CAAP '91) -- v. 2. Advances in distributed computing (ADC) and Colloquium on Combining Pradigms for Software Development (CCPDS)."@en ;
    schema:description ""TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches."--PUBLISHER'S WEBSITE."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3856606465> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3856606465#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/802299350> ;
    schema:name "TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991"@en ;
    schema:productID "23825262" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/23825262#PublicationEvent/berlin_new_york_springer_verlag_1991> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3856606465#Agent/springer_verlag> ; # Springer-Verlag
    schema:workExample <http://worldcat.org/isbn/9780387539829> ;
    schema:workExample <http://worldcat.org/isbn/9780387539812> ;
    schema:workExample <http://worldcat.org/isbn/9783540539810> ;
    schema:workExample <http://worldcat.org/isbn/9783540539827> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/23825262> ;
    .


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/3856606465#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856606465#Meeting/international_joint_conference_on_theory_and_practice_of_software_development_4th_1991_brighton_england> # International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3856606465#Place/brighton_england> ; # Brighton, England)
    schema:name "International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856606465#Place/brighton_england> # Brighton, England)
    a schema:Place ;
    schema:name "Brighton, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856606465#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/23825262> ; # TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856606465#Topic/logiciels_developpement> # Logiciels--Développement
    a schema:Intangible ;
    schema:name "Logiciels--Développement"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3856606465#Topic/parallelisme_informatique> # Parallélisme (informatique)
    a schema:Intangible ;
    schema:name "Parallélisme (informatique)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856606465#Topic/programacao_de_computadores> # Programacao de computadores
    a schema:Intangible ;
    schema:name "Programacao de computadores"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856606465#Topic/teoria_da_computacao> # Teoria da computacao
    a schema:Intangible ;
    schema:name "Teoria da computacao"@en ;
    .

<http://id.worldcat.org/fast/872537> # Computer software--Development
    a schema:Intangible ;
    schema:name "Computer software--Development"@en ;
    .

<http://viaf.org/viaf/109321899> # Samson Abramsky
    a schema:Person ;
    schema:birthDate "1953" ;
    schema:familyName "Abramsky" ;
    schema:givenName "Samson" ;
    schema:name "Samson Abramsky" ;
    .

<http://viaf.org/viaf/110055894> # Thomas S. E. Maibaum
    a schema:Person ;
    schema:birthDate "1947" ;
    schema:familyName "Maibaum" ;
    schema:givenName "Thomas S. E." ;
    schema:name "Thomas S. E. Maibaum" ;
    .

<http://worldcat.org/isbn/9780387539812>
    a schema:ProductModel ;
    schema:isbn "0387539816" ;
    schema:isbn "9780387539812" ;
    .

<http://worldcat.org/isbn/9780387539829>
    a schema:ProductModel ;
    schema:isbn "0387539824" ;
    schema:isbn "9780387539829" ;
    .

<http://worldcat.org/isbn/9783540539810>
    a schema:ProductModel ;
    schema:isbn "3540539816" ;
    schema:isbn "9783540539810" ;
    .

<http://worldcat.org/isbn/9783540539827>
    a schema:ProductModel ;
    schema:isbn "3540539824" ;
    schema:isbn "9783540539827" ;
    .

<http://www.worldcat.org/oclc/802299350>
    a schema:CreativeWork ;
    rdfs:label "TAPSOFT ʼ91." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/23825262> ; # TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
    .

<http://www.worldcat.org/title/-/oclc/23825262>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/23825262> ; # TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
    schema:dateModified "2018-07-18" ;
    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.