skip to content
Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings Preview this item
ClosePreview this item
Checking...

Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings

Author: María del Mar Gallardo; Pedro Merino
Publisher: Cham Springer [2018]
Series: Lecture Notes in Computer Science, 10869.
Edition/Format:   Computer file : 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: María del Mar Gallardo; Pedro Merino
ISBN: 9783319941110 3319941119
OCLC Number: 1048241025
Description: 1 Online-Ressource (XVI, 347 Seiten) : Illustrationen, Diagramme.
Series Title: Lecture Notes in Computer Science, 10869.
Responsibility: María del Mar Gallardo, Pedro Merino (Eds.).
More information:

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/1048241025> # Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings
    a bgn:ComputerFile, schema:CreativeWork ;
    library:oclcnum "1048241025" ;
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/5237623708#Topic/simulation_and_modeling> ; # Simulation and Modeling
    schema:author <http://experiment.worldcat.org/entity/work/data/5237623708#Meeting/spin_25_2018_malaga> ; # SPIN (25. : 2018 : Málaga),
    schema:datePublished "2018" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5237623708#Person/gallardo_maria_del_mar> ; # María del Mar Gallardo
    schema:editor <http://experiment.worldcat.org/entity/work/data/5237623708#Person/merino_pedro> ; # Pedro Merino
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5237623708> ;
    schema:genre "Konferenzschrift" ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5237623708#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5237623708#CreativeWork/> ;
    schema:name "Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings" ;
    schema:productID "1048241025" ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-94111-0> ;
    schema:url <https://doi.org/10.1007/978-3-319-94111-0> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-94111-0> ;
    schema:workExample <http://worldcat.org/isbn/9783319941110> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1048241025> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5237623708#Person/gallardo_maria_del_mar> # María del Mar Gallardo
    a schema:Person ;
    schema:familyName "Gallardo" ;
    schema:givenName "María del Mar" ;
    schema:name "María del Mar Gallardo" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237623708#Person/merino_pedro> # Pedro Merino
    a schema:Person ;
    schema:familyName "Merino" ;
    schema:givenName "Pedro" ;
    schema:name "Pedro Merino" ;
    .

<http://experiment.worldcat.org/entity/work/data/5237623708#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1048241025> ; # Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings
    schema:name "Lecture Notes in Computer Science ;" ;
    .

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

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

<http://worldcat.org/entity/work/data/5237623708#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1048241025> ; # Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings
    .

<http://worldcat.org/isbn/9783319941110>
    a schema:ProductModel ;
    schema:isbn "3319941119" ;
    schema:isbn "9783319941110" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1048241025> ; # Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://www.worldcat.org/title/-/oclc/1048241025>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1048241025> ; # Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings
    schema:dateModified "2019-05-04" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

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