skip to content
Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings Preview this item
ClosePreview this item
Checking...

Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Author: Nadia Polikarpova; Steve Schneider
Publisher: Cham Springer International Publishing 2017.
Series: SpringerLink : Bücher; Lecture notes in computer science, 10510.
Edition/Format:   eBook : 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

Additional Physical Format: Erscheint auch als:
Druck-Ausgabe
Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Nadia Polikarpova; Steve Schneider
ISBN: 9783319668451 3319668455
OCLC Number: 1011418552
Description: 1 Online-Ressource (XXI, 438 p. 109 illus)
Series Title: SpringerLink : Bücher; Lecture notes in computer science, 10510.
Responsibility: edited by Nadia Polikarpova, Steve Schneider.

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/1011418552> # Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "1011418552" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4504125475#Topic/computing_methodologies> ; # Computing Methodologies
    schema:about <http://experiment.worldcat.org/entity/work/data/4504125475#Topic/the_computing_profession> ; # The Computing Profession
    schema:about <http://experiment.worldcat.org/entity/work/data/4504125475#Topic/software_engineering> ; # Software engineering
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4504125475#Topic/theory_of_computation> ; # Theory of Computation
    schema:about <http://experiment.worldcat.org/entity/work/data/4504125475#Topic/computer_systems_organization_and_communication_networks> ; # Computer Systems Organization and Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/4504125475#Topic/computers> ; # Computers
    schema:about <http://experiment.worldcat.org/entity/work/data/4504125475#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/4504125475#Topic/computer_organization> ; # Computer organization
    schema:about <http://experiment.worldcat.org/entity/work/data/4504125475#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/4504125475#Topic/computer_science> ; # Computer science
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4504125475#Person/polikarpova_nadia> ; # Nadia Polikarpova
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4504125475#Person/schneider_steve> ; # Steve Schneider
    schema:datePublished "2017" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4504125475> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4504125475#Series/springerlink_bucher> ; # SpringerLink : Bücher
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4504125475#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4504125475#CreativeWork/> ;
    schema:name "Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings" ;
    schema:numberOfPages "438" ;
    schema:productID "1011418552" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1011418552#PublicationEvent/2017> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-66845-1> ;
    schema:url <https://doi.org/10.1007/978-3-319-66845-1> ;
    schema:workExample <http://worldcat.org/isbn/9783319668451> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-66845-1> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1011418552> ;
    .


Related Entities

<http://dx.doi.org/10.1007/978-3-319-66845-1>
    a schema:IndividualProduct ;
    rdfs:comment "URL des Erstveröffentlichers" ;
    .

<http://experiment.worldcat.org/entity/work/data/4504125475#Person/polikarpova_nadia> # Nadia Polikarpova
    a schema:Person ;
    schema:familyName "Polikarpova" ;
    schema:givenName "Nadia" ;
    schema:name "Nadia Polikarpova" ;
    .

<http://experiment.worldcat.org/entity/work/data/4504125475#Person/schneider_steve> # Steve Schneider
    a schema:Person ;
    schema:familyName "Schneider" ;
    schema:givenName "Steve" ;
    schema:name "Steve Schneider" ;
    .

<http://experiment.worldcat.org/entity/work/data/4504125475#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1011418552> ; # Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
    schema:name "Lecture notes in computer science" ;
    schema:name "Lecture Notes in Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4504125475#Series/springerlink_bucher> # SpringerLink : Bücher
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1011418552> ; # Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
    schema:name "SpringerLink : Bücher" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/4504125475#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/4504125475#Topic/computing_methodologies> # Computing Methodologies
    a schema:Intangible ;
    schema:name "Computing Methodologies" ;
    .

<http://experiment.worldcat.org/entity/work/data/4504125475#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters" ;
    .

<http://experiment.worldcat.org/entity/work/data/4504125475#Topic/programming_languages_electronic_computers> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/4504125475#Topic/theory_of_computation> # Theory of Computation
    a schema:Intangible ;
    schema:name "Theory of Computation" ;
    .

<http://worldcat.org/entity/work/data/4504125475#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1011418552> ; # Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
    .

<http://worldcat.org/isbn/9783319668451>
    a schema:ProductModel ;
    schema:isbn "3319668455" ;
    schema:isbn "9783319668451" ;
    .

<http://www.worldcat.org/title/-/oclc/1011418552>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1011418552> ; # Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
    schema:dateModified "2018-04-18" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://doi.org/10.1007/978-3-319-66845-1>
    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.