skip to content
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II Preview this item
ClosePreview this item
Checking...

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Author: Dirk Beyer; Marieke Huisman
Publisher: Cham : Springer International Publishing, 2018
Series: Lecture notes in computer science, 10806.
Edition/Format:   eBook : Document : 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
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Dirk Beyer; Marieke Huisman
ISBN: 9783319899633 3319899635
OCLC Number: 1035472181
Description: 1 Online-Ressource (XX, 465 Seiten 92 Illustrationen)
Series Title: Lecture notes in computer science, 10806.
Responsibility: edited by Dirk Beyer, Marieke Huisman.

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/1035472181> # Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "1035472181" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computer_organization> ; # Computer organization
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computing_milieux> ; # Computing Milieux
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computers> ; # Computers
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/programmverifikation> ; # Programmverifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computer_systems_organization_and_communication_networks> ; # Computer Systems Organization and Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/programmierung> ; # Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/systementwicklung> ; # Systementwicklung
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/theoretische_informatik> ; # Theoretische Informatik
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computer_hardware> ; # Computer Hardware
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/entscheidungsverfahren> ; # Entscheidungsverfahren
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/systemanalyse> ; # Systemanalyse
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/hardwareverifikation> ; # Hardwareverifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computing_methodologies> ; # Computing Methodologies
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/model_checking> ; # Model Checking
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/software_engineering_programming_and_operating_systems> ; # Software Engineering/Programming and Operating Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/softwareentwicklung> ; # Softwareentwicklung
    schema:about <http://experiment.worldcat.org/entity/work/data/5093399696#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5093399696#Person/huisman_marieke> ; # Marieke Huisman
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5093399696#Person/beyer_dirk> ; # Dirk Beyer
    schema:datePublished "2018" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5093399696> ;
    schema:genre "Konferenzschrift" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5093399696#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5093399696#CreativeWork/> ;
    schema:name "Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II" ;
    schema:productID "1035472181" ;
    schema:url <https://www.doabooks.org/doab?func=fulltext&uiLanguage=en&rid=27329> ;
    schema:url <https://doi.org/10.1007/978-3-319-89963-3> ;
    schema:url <http://swbplus.bsz-bw.de/bsz504294229cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783319899633> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-89963-3> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1035472181> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5093399696#Person/beyer_dirk> # Dirk Beyer
    a schema:Person ;
    schema:familyName "Beyer" ;
    schema:givenName "Dirk" ;
    schema:name "Dirk Beyer" ;
    .

<http://experiment.worldcat.org/entity/work/data/5093399696#Person/huisman_marieke> # Marieke Huisman
    a schema:Person ;
    schema:familyName "Huisman" ;
    schema:givenName "Marieke" ;
    schema:name "Marieke Huisman" ;
    .

<http://experiment.worldcat.org/entity/work/data/5093399696#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1035472181> ; # Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computer_hardware> # Computer Hardware
    a schema:Intangible ;
    schema:name "Computer Hardware" ;
    schema:name "Computer hardware" ;
    .

<http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computer_organization> # Computer organization
    a schema:Intangible ;
    schema:name "Computer organization" ;
    .

<http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computer_science> # Computer Science
    a schema:Intangible ;
    schema:name "Computer Science" ;
    schema:name "Computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computer_systems_organization_and_communication_networks> # Computer Systems Organization and Communication Networks
    a schema:Intangible ;
    schema:name "Computer Systems Organization and Communication Networks" ;
    .

<http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computing_methodologies> # Computing Methodologies
    a schema:Intangible ;
    schema:name "Computing Methodologies" ;
    .

<http://experiment.worldcat.org/entity/work/data/5093399696#Topic/computing_milieux> # Computing Milieux
    a schema:Intangible ;
    schema:name "Computing Milieux" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/5093399696#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/5093399696#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/5093399696#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/5093399696#Topic/softwareentwicklung> # Softwareentwicklung
    a schema:Intangible ;
    schema:name "Softwareentwicklung" ;
    .

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

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

<http://worldcat.org/entity/work/data/5093399696#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1035472181> ; # Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
    .

<http://worldcat.org/isbn/9783319899633>
    a schema:ProductModel ;
    schema:isbn "3319899635" ;
    schema:isbn "9783319899633" ;
    .

<http://www.worldcat.org/title/-/oclc/1035472181>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1035472181> ; # Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
    schema:dateModified "2019-10-02" ;
    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.