skip to content
Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II Preview this item
ClosePreview this item
Checking...

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Author: Tiziana Margaria; Bernhard Steffen
Publisher: Cham Springer International Publishing 2018
Series: Theoretical Computer Science and General Issues, 11245
Edition/Format:   Computer file : English
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
Erscheint auch als:
Druck-Ausgabe
Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Tiziana Margaria; Bernhard Steffen
ISBN: 9783030034214 3030034216
OCLC Number: 1061545003
Description: 1 Online-Ressource (XIII, 496 p. 340 illus., 85 illus. in color).
Series Title: Theoretical Computer Science and General Issues, 11245
Responsibility: edited by Tiziana Margaria, Bernhard Steffen.

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/1061545003> # Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    a bgn:ComputerFile, schema:CreativeWork ;
    library:oclcnum "1061545003" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5532975370#Topic/computer_systems_organization_and_communication_networks> ; # Computer Systems Organization and Communication Networks
    schema:about <http://experiment.worldcat.org/entity/work/data/5532975370#Topic/the_computing_profession> ; # The Computing Profession
    schema:about <http://experiment.worldcat.org/entity/work/data/5532975370#Topic/theory_of_computation> ; # Theory of Computation
    schema:about <http://experiment.worldcat.org/entity/work/data/5532975370#Topic/computing_methodologies> ; # Computing Methodologies
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5532975370#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/5532975370#Topic/software_engineering> ; # Software Engineering
    schema:datePublished "2018" ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5532975370#Person/steffen_bernhard> ; # Bernhard Steffen
    schema:editor <http://experiment.worldcat.org/entity/work/data/5532975370#Person/margaria_tiziana> ; # Tiziana Margaria
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5532975370> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5532975370#Series/theoretical_computer_science_and_general_issues> ; # Theoretical Computer Science and General Issues ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5532975370#CreativeWork/> ;
    schema:name "Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II" ;
    schema:numberOfPages "496" ;
    schema:productID "1061545003" ;
    schema:url <https://doi.org/10.1007/978-3-030-03421-4> ;
    schema:workExample <http://worldcat.org/isbn/9783030034214> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-03421-4> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1061545003> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5532975370#Person/margaria_tiziana> # Tiziana Margaria
    a schema:Person ;
    schema:familyName "Margaria" ;
    schema:givenName "Tiziana" ;
    schema:name "Tiziana Margaria" ;
    .

<http://experiment.worldcat.org/entity/work/data/5532975370#Person/steffen_bernhard> # Bernhard Steffen
    a schema:Person ;
    schema:familyName "Steffen" ;
    schema:givenName "Bernhard" ;
    schema:name "Bernhard Steffen" ;
    .

<http://experiment.worldcat.org/entity/work/data/5532975370#Series/theoretical_computer_science_and_general_issues> # Theoretical Computer Science and General Issues ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1061545003> ; # Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    schema:name "Theoretical Computer Science and General Issues ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/5532975370#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/5532975370#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering" ;
    .

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

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

<http://worldcat.org/entity/work/data/5532975370#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1061545003> ; # Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    .

<http://worldcat.org/isbn/9783030034214>
    a schema:ProductModel ;
    schema:isbn "3030034216" ;
    schema:isbn "9783030034214" ;
    .

<http://www.worldcat.org/title/-/oclc/1061545003>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1061545003> ; # Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    schema:dateModified "2019-05-04" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://doi.org/10.1007/978-3-030-03421-4>
    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.