skip to content
Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday Preview this item
ClosePreview this item
Checking...

Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Author: Narciso Martí-Oliet; Peter Csaba Ölveczky; Carolyn Talcott
Publisher: Cham : Springer International Publishing, 2015.
Series: Lecture Notes in Computer Science, 9200.
Edition/Format:   eBook : Document : English : 1st ed. 2015View all editions and formats
Summary:
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène Kirchner and  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

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: Narciso Martí-Oliet; Peter Csaba Ölveczky; Carolyn Talcott
ISBN: 9783319231655 3319231650 9783319231648 3319231642
OCLC Number: 920801636
Description: 1 online resource (XI, 634 Seiten 103 Illustrationen :) : Online-Ressource.
Series Title: Lecture Notes in Computer Science, 9200.
Responsibility: edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott.

Abstract:

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

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/920801636> # Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "920801636" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2613209821#Place/cham> ; # Cham
    schema:about <http://dewey.info/class/005.131/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2613209821#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/2613209821#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/2613209821#Topic/logic_design> ; # Logic design
    schema:bookEdition "1st ed. 2015." ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2613209821#Person/olveczky_peter_csaba> ; # Peter Csaba Ölveczky
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2613209821#Person/talcott_carolyn> ; # Carolyn Talcott
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2613209821#Person/marti_oliet_narciso> ; # Narciso Martí-Oliet
    schema:datePublished "2015" ;
    schema:description "This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of José's many scientific achievements followed by a bibliography of papers written by José." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2613209821> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2613209821#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science ;
    schema:name "Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday" ;
    schema:productID "920801636" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/920801636#PublicationEvent/cham_springer_international_publishing_2015> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2613209821#Agent/springer_international_publishing> ; # Springer International Publishing
    schema:url <http://dx.doi.org/10.1007/978-3-319-23165-5> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218259&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:workExample <http://worldcat.org/isbn/9783319231648> ;
    schema:workExample <http://worldcat.org/isbn/9783319231655> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-23165-5> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/920801636> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2613209821#Agent/springer_international_publishing> # Springer International Publishing
    a bgn:Agent ;
    schema:name "Springer International Publishing" ;
    .

<http://experiment.worldcat.org/entity/work/data/2613209821#Person/marti_oliet_narciso> # Narciso Martí-Oliet
    a schema:Person ;
    schema:familyName "Martí-Oliet" ;
    schema:givenName "Narciso" ;
    schema:name "Narciso Martí-Oliet" ;
    .

<http://experiment.worldcat.org/entity/work/data/2613209821#Person/olveczky_peter_csaba> # Peter Csaba Ölveczky
    a schema:Person ;
    schema:familyName "Ölveczky" ;
    schema:givenName "Peter Csaba" ;
    schema:name "Peter Csaba Ölveczky" ;
    .

<http://experiment.worldcat.org/entity/work/data/2613209821#Person/talcott_carolyn> # Carolyn Talcott
    a schema:Person ;
    schema:familyName "Talcott" ;
    schema:givenName "Carolyn" ;
    schema:name "Carolyn Talcott" ;
    .

<http://experiment.worldcat.org/entity/work/data/2613209821#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/920801636> ; # Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2613209821#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://worldcat.org/isbn/9783319231648>
    a schema:ProductModel ;
    schema:isbn "3319231642" ;
    schema:isbn "9783319231648" ;
    .

<http://worldcat.org/isbn/9783319231655>
    a schema:ProductModel ;
    schema:isbn "3319231650" ;
    schema:isbn "9783319231655" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/920801636> ; # Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
    schema:issn "0302-9743" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://www.worldcat.org/title/-/oclc/920801636>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/920801636> ; # Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
    schema:dateModified "2018-01-19" ;
    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.