skip to content
Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I Preview this item
ClosePreview this item
Checking...

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Author: Tomáš Vojnar; Lijun Zhang
Publisher: Cham Springer International Publishing Cham Springer 2019
Series: Theoretical Computer Science and General Issues, 11427
Edition/Format:   Computer file : 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: Konferenzschrift
Additional Physical Format: Erscheint auch als:
Druck-Ausgabe
Erscheint auch als:
Druck-Ausgabe
Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Tomáš Vojnar; Lijun Zhang
ISBN: 9783030174620 303017462X
OCLC Number: 1101131439
Description: 1 Online-Ressource (XXIII, 433 p. 1251 illus., 61 illus. in color).
Series Title: Theoretical Computer Science and General Issues, 11427
Responsibility: edited by Tomáš Vojnar, Lijun Zhang.

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/1101131439> # Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
    a schema:CreativeWork, bgn:ComputerFile ;
    library:oclcnum "1101131439" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/system_performance_and_evaluation> ; # System Performance and Evaluation
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/programmierung> ; # Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/softwareentwicklung> ; # Softwareentwicklung
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/systementwicklung> ; # Systementwicklung
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/artificial_intelligence> ; # Artificial Intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/model_checking> ; # Model Checking
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/systemanalyse> ; # Systemanalyse
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/the_computing_profession> ; # The Computing Profession
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/software_engineering_programming_and_operating_systems> ; # Software Engineering/Programming and Operating Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/programmverifikation> ; # Programmverifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/hardwareverifikation> ; # Hardwareverifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/theoretische_informatik> ; # Theoretische Informatik
    schema:about <http://experiment.worldcat.org/entity/work/data/9109055452#Topic/entscheidungsverfahren> ; # Entscheidungsverfahren
    schema:datePublished "2019" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/9109055452#Person/vojnar_tomas> ; # Tomáš Vojnar
    schema:editor <http://experiment.worldcat.org/entity/work/data/9109055452#Person/zhang_lijun> ; # Lijun Zhang
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9109055452> ;
    schema:genre "Konferenzschrift" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9109055452#Series/theoretical_computer_science_and_general_issues> ; # Theoretical Computer Science and General Issues ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/9109055452#CreativeWork/> ;
    schema:name "Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I" ;
    schema:numberOfPages "433" ;
    schema:productID "1101131439" ;
    schema:url <https://doi.org/10.1007/978-3-030-17462-0> ;
    schema:workExample <http://worldcat.org/isbn/9783030174620> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-17462-0> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1101131439> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9109055452#Person/vojnar_tomas> # Tomáš Vojnar
    a schema:Person ;
    schema:familyName "Vojnar" ;
    schema:givenName "Tomáš" ;
    schema:name "Tomáš Vojnar" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Person/zhang_lijun> # Lijun Zhang
    a schema:Person ;
    schema:familyName "Zhang" ;
    schema:givenName "Lijun" ;
    schema:name "Lijun Zhang" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Series/theoretical_computer_science_and_general_issues> # Theoretical Computer Science and General Issues ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1101131439> ; # Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
    schema:name "Theoretical Computer Science and General Issues ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Topic/artificial_intelligence> # Artificial Intelligence
    a schema:Intangible ;
    schema:name "Artificial Intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Topic/entscheidungsverfahren> # Entscheidungsverfahren
    a schema:Intangible ;
    schema:name "Entscheidungsverfahren" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Topic/hardwareverifikation> # Hardwareverifikation
    a schema:Intangible ;
    schema:name "Hardwareverifikation" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/9109055452#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Topic/programmverifikation> # Programmverifikation
    a schema:Intangible ;
    schema:name "Programmverifikation" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Topic/software_engineering_programming_and_operating_systems> # Software Engineering/Programming and Operating Systems
    a schema:Intangible ;
    schema:name "Software Engineering/Programming and Operating Systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Topic/softwareentwicklung> # Softwareentwicklung
    a schema:Intangible ;
    schema:name "Softwareentwicklung" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Topic/system_performance_and_evaluation> # System Performance and Evaluation
    a schema:Intangible ;
    schema:name "System Performance and Evaluation" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Topic/systementwicklung> # Systementwicklung
    a schema:Intangible ;
    schema:name "Systementwicklung" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Topic/the_computing_profession> # The Computing Profession
    a schema:Intangible ;
    schema:name "The Computing Profession" ;
    .

<http://experiment.worldcat.org/entity/work/data/9109055452#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
    schema:name "Theoretische Informatik" ;
    .

<http://worldcat.org/entity/work/data/9109055452#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1101131439> ; # Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
    .

<http://worldcat.org/isbn/9783030174620>
    a schema:ProductModel ;
    schema:isbn "303017462X" ;
    schema:isbn "9783030174620" ;
    .

<http://www.worldcat.org/title/-/oclc/1101131439>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1101131439> ; # Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
    schema:dateModified "2019-07-16" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://doi.org/10.1007/978-3-030-17462-0>
    rdfs:comment "URL des Erstveröffentlichers" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.