skip to content
Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ... Preview this item
ClosePreview this item
Checking...

Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ...

Author: TACAS.
Publisher: Berlin ; New York : Springer, ©1995-
Series: Lecture notes in computer science.
Edition/Format:   Journal, magazine : Conference publication : EnglishView all editions and formats
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
Additional Physical Format: Online version:
TACAS.
Tools and algorithms for the construction and analysis of systems
(OCoLC)607727428
Online version:
TACAS.
Tools and algorithms for the construction and analysis of systems
(OCoLC)608292975
Material Type: Conference publication, Internet resource
Document Type: Journal / Magazine / Newspaper, Internet Resource
All Authors / Contributors: TACAS.
OCLC Number: 37020558
Notes: Conference name includes year (i.e., First International Workshop is TACAS '95, etc.).
Description: v. : ill. ; 24 cm.
Series Title: Lecture notes in computer science.

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/37020558> # Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ...
    a schema:CreativeWork, schema:Periodical ;
   library:oclcnum "37020558" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/476636672#Place/berlin> ; # Berlin
   schema:about <http://id.worldcat.org/fast/1141401> ; # System design
   schema:about <http://experiment.worldcat.org/entity/work/data/476636672#Topic/computer_software_development> ; # Computer software--Development
   schema:about <http://dewey.info/class/005.2/e20/> ;
   schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
   schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
   schema:about <http://experiment.worldcat.org/entity/work/data/476636672#Topic/system_design> ; # System design
   schema:about <http://experiment.worldcat.org/entity/work/data/476636672#Topic/electronic_data_processing_distributed_processing> ; # Electronic data processing--Distributed processing
   schema:copyrightYear "1995" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/476636672#Meeting/tacas> ; # TACAS.
   schema:datePublished "1995/9999" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/476636672> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/476636672#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isSimilarTo <http://www.worldcat.org/oclc/607727428> ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/608292975> ;
   schema:name "Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ..."@en ;
   schema:productID "37020558" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/37020558#PublicationEvent/berlin_new_york_springer_c1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/476636672#Agent/springer> ; # Springer
   schema:url <http://link.springer.de/link/service/series/0558/tocs.htm> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/37020558> ;
    .


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/476636672#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/37020558> ; # Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ...
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/476636672#Topic/electronic_data_processing_distributed_processing> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   rdfs:seeAlso <http://id.loc.gov/authorities/subjects/sh2008102927> ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<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://id.worldcat.org/fast/906987> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://link.springer.de/link/service/series/0558/tocs.htm>
   rdfs:comment "requires Adobe Acrobat software to view full text" ;
   rdfs:comment "Available to Stanford-affiliated users at:" ;
    .

<http://www.worldcat.org/oclc/607727428>
    a schema:CreativeWork ;
   rdfs:label "Tools and algorithms for the construction and analysis of systems" ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/37020558> ; # Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ...
    .

<http://www.worldcat.org/oclc/608292975>
    a schema:CreativeWork ;
   rdfs:label "Tools and algorithms for the construction and analysis of systems" ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/37020558> ; # Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ...
    .

<http://www.worldcat.org/title/-/oclc/37020558>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/37020558> ; # Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ...
   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.