skip to content
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings Preview this item
ClosePreview this item
Checking...

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings

Author: Ed Brinksma
Publisher: Berlin ; New York : Springer, ©1997.
Series: Lecture notes in computer science, 1217.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands,  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

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Ed Brinksma
ISBN: 3540627901 9783540627906
OCLC Number: 36597761
Description: x, 431 pages : illustrations ; 24 cm.
Contents: Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs / Gerard Berry --
Manipulation Algorithms for K*BMDs / R. Drechsler, B. Becker and S. Ruppertz --
Combining Partial Order and Symmetry Reductions / E.A. Emerson, S. Jha and D. Peled --
Partial Model Checking with ROBDDs / H.R. Andersen, J. Staunstrup and N. Maretti --
Space Efficient Reachability Analysis Through Use of Pseudo-Root States / A.N. Parashkevov and J. Yantchev --
The Reference Component of PEP / B. Grahlmann --
A Tool to Support Formal Reasoning about Computer Languages / R.J. Boulton --
The Term Processor Generator Kimwitu / P. van Eijk, A. Belinfante and H. Eertink [and others] --
Graphs in METAFrame: The Unifying Power of Polymorphism / M. von der Beeck, V. Braun and A. Classen [and others] --
A Tableau System for Linear-TIME Temporal Logic / P.H. Schmitt and J. Goubault-Larrecq --
Model-Checking for a Subclass of Event Structures / W. Penczek.
Series Title: Lecture notes in computer science, 1217.
Other Titles: TACAS '97
Responsibility: Ed Brinksma (ed.).
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/36597761> # Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "36597761" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3901016504#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3901016504#Topic/programacao_de_computadores> ; # Programacao de computadores
   schema:about <http://experiment.worldcat.org/entity/work/data/3901016504#Topic/logiciels_developpement> ; # Logiciels--Développement
   schema:about <http://experiment.worldcat.org/entity/work/data/3901016504#Topic/systemes_conception_de> ; # Systèmes, Conception de
   schema:about <http://id.worldcat.org/fast/1141401> ; # System design
   schema:about <http://experiment.worldcat.org/entity/work/data/3901016504#Topic/programmatuurtechniek> ; # Programmatuurtechniek
   schema:about <http://experiment.worldcat.org/entity/work/data/3901016504#Topic/computer_software_development> ; # Computer software--Development
   schema:about <http://experiment.worldcat.org/entity/work/data/3901016504#Place/enschede_1997> ; # Enschede <1997>
   schema:about <http://experiment.worldcat.org/entity/work/data/3901016504#Topic/systemes_analyse_de> ; # Systèmes, Analyse de
   schema:about <http://experiment.worldcat.org/entity/work/data/3901016504#Topic/systemtheorie> ; # Systemtheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/3901016504#Topic/verteiltes_system> ; # Verteiltes System
   schema:about <http://experiment.worldcat.org/entity/work/data/3901016504#Topic/logica> ; # Logica
   schema:about <http://experiment.worldcat.org/entity/work/data/3901016504#Topic/system_design> ; # System design
   schema:about <http://dewey.info/class/004.21/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3901016504#Topic/genie_logiciel> ; # Génie logiciel
   schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
   schema:alternateName "TACAS '97" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/93770802> ; # Ed Brinksma
   schema:copyrightYear "1997" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/3901016504#Meeting/tacas_conference_3rd_1997_enschede_netherlands> ; # TACAS (Conference) (3rd : 1997 : Enschede, Netherlands)
   schema:datePublished "1997" ;
   schema:description "Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs / Gerard Berry -- Manipulation Algorithms for K*BMDs / R. Drechsler, B. Becker and S. Ruppertz -- Combining Partial Order and Symmetry Reductions / E.A. Emerson, S. Jha and D. Peled -- Partial Model Checking with ROBDDs / H.R. Andersen, J. Staunstrup and N. Maretti -- Space Efficient Reachability Analysis Through Use of Pseudo-Root States / A.N. Parashkevov and J. Yantchev -- The Reference Component of PEP / B. Grahlmann -- A Tool to Support Formal Reasoning about Computer Languages / R.J. Boulton -- The Term Processor Generator Kimwitu / P. van Eijk, A. Belinfante and H. Eertink [and others] -- Graphs in METAFrame: The Unifying Power of Polymorphism / M. von der Beeck, V. Braun and A. Classen [and others] -- A Tableau System for Linear-TIME Temporal Logic / P.H. Schmitt and J. Goubault-Larrecq -- Model-Checking for a Subclass of Event Structures / W. Penczek."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3901016504> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3901016504#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings"@en ;
   schema:productID "36597761" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/36597761#PublicationEvent/berlin_new_york_springer_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3901016504#Agent/springer> ; # Springer
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1217> ;
   schema:url <http://link.springer.com/10.1007/BFb0035375> ;
   schema:url <http://dx.doi.org/10.1007/BFb0035375> ;
   schema:workExample <http://worldcat.org/isbn/9783540627906> ;
   umbel:isLike <http://d-nb.info/949847712> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/36597761> ;
    .


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/3901016504#Meeting/tacas_conference_3rd_1997_enschede_netherlands> # TACAS (Conference) (3rd : 1997 : Enschede, Netherlands)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3901016504#Place/enschede_netherlands> ; # Enschede, Netherlands)
   schema:name "TACAS (Conference) (3rd : 1997 : Enschede, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3901016504#Place/enschede_netherlands> # Enschede, Netherlands)
    a schema:Place ;
   schema:name "Enschede, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3901016504#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/36597761> ; # Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/3901016504#Topic/programmatuurtechniek> # Programmatuurtechniek
    a schema:Intangible ;
   schema:name "Programmatuurtechniek"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3901016504#Topic/systemes_analyse_de> # Systèmes, Analyse de
    a schema:Intangible ;
   schema:name "Systèmes, Analyse de"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3901016504#Topic/systemes_conception_de> # Systèmes, Conception de
    a schema:Intangible ;
   schema:name "Systèmes, Conception de"@en ;
   schema:name "Systèmes, Conception de"@fr ;
    .

<http://id.worldcat.org/fast/1141401> # System design
    a schema:Intangible ;
   schema:name "System design"@en ;
    .

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

<http://link.springer.com/10.1007/BFb0035375>
   rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://viaf.org/viaf/93770802> # Ed Brinksma
    a schema:Person ;
   schema:familyName "Brinksma" ;
   schema:givenName "Ed" ;
   schema:name "Ed Brinksma" ;
    .

<http://worldcat.org/isbn/9783540627906>
    a schema:ProductModel ;
   schema:isbn "3540627901" ;
   schema:isbn "9783540627906" ;
    .

<http://www.worldcat.org/title/-/oclc/36597761>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/36597761> ; # Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, the Netherlands, April 2-4, 1997 : proceedings
   schema:dateModified "2017-12-25" ;
   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.