skip to content
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings Preview this item
ClosePreview this item
Checking...

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Author: Alessandro Abate; Sylvie Boldo
Publisher: Cham Springer International Publishing 2017.
Series: SpringerLink : Bücher; Lecture notes in computer science, 10381.
Edition/Format:   eBook : 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: Konferenzschrift
Additional Physical Format: Erscheint auch als:
Druck-Ausgabe
Material Type: Conference publication, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Alessandro Abate; Sylvie Boldo
ISBN: 9783319635019 3319635018
OCLC Number: 1002228673
Description: 1 Online-Ressource (XXI, 115 p. 23 illus)
Series Title: SpringerLink : Bücher; Lecture notes in computer science, 10381.
Responsibility: edited by Alessandro Abate, Sylvie Boldo.

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/1002228673> # Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "1002228673" ;
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/mathematical_logic> ; # Mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/simulation_and_modeling> ; # Simulation and Modeling
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/computer_simulation> ; # Computer simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/algorithms> ; # Algorithms
    schema:about <http://experiment.worldcat.org/entity/work/data/4406242375#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:author <http://experiment.worldcat.org/entity/work/data/4406242375#Meeting/nsv_10_2017_heidelberg> ; # NSV (10. : 2017 : Heidelberg),
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4406242375#Person/abate_alessandro> ; # Alessandro Abate
    schema:datePublished "2017" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/4406242375#Person/boldo_sylvie> ; # Sylvie Boldo
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4406242375> ;
    schema:genre "Konferenzschrift" ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4406242375#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4406242375#Series/springerlink_bucher> ; # SpringerLink : Bücher
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4406242375#CreativeWork/> ;
    schema:name "Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings" ;
    schema:numberOfPages "115" ;
    schema:productID "1002228673" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1002228673#PublicationEvent/2017> ;
    schema:url <http://www.springerlink.com/content/978-3-319-63501-9> ;
    schema:url <http://nbn-resolving.de/urn:nbn:de:1111-20170712649> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-63501-9> ;
    schema:url <https://doi.org/10.1007/978-3-319-63501-9> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-63501-9> ;
    schema:workExample <http://worldcat.org/isbn/9783319635019> ;
    umbel:isLike <http://d-nb.info/1136660704> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1002228673> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/4406242375#Person/abate_alessandro> # Alessandro Abate
    a schema:Person ;
    schema:familyName "Abate" ;
    schema:givenName "Alessandro" ;
    schema:name "Alessandro Abate" ;
    schema:sameAs <http://d-nb.info/gnd/1084525631> ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1002228673> ; # Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    schema:name "Lecture notes in computer science" ;
    schema:name "Lecture Notes in Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#Series/springerlink_bucher> # SpringerLink : Bücher
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1002228673> ; # Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    schema:name "SpringerLink : Bücher" ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
    schema:name "Algorithm Analysis and Problem Complexity" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4406242375#Topic/computer_simulation> # Computer simulation
    a schema:Intangible ;
    schema:name "Computer simulation" ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#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/4406242375#Topic/mathematical_logic> # Mathematical logic
    a schema:Intangible ;
    schema:name "Mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/4406242375#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/4406242375#Topic/simulation_and_modeling> # Simulation and Modeling
    a schema:Intangible ;
    schema:name "Simulation and Modeling" ;
    .

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

<http://worldcat.org/entity/work/data/4406242375#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1002228673> ; # Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    .

<http://worldcat.org/isbn/9783319635019>
    a schema:ProductModel ;
    schema:isbn "3319635018" ;
    schema:isbn "9783319635019" ;
    .

<http://www.worldcat.org/title/-/oclc/1002228673>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1002228673> ; # Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
    schema:dateModified "2018-04-13" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

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