passa ai contenuti
Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings Anteprima di questo documento
ChiudiAnteprima di questo documento
Verifica in corso…

Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Autore: Klaus Havelund; Jan Peleska; A W Roscoe; Erik de Vink
Pubblicazione: Cham, Switzerland : Springer, 2018.
Serie: Lecture notes in computer science, 10951.; Lecture notes in computer science., Formal methods.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edizione/Formato:   eBook : Document : Conference publication : EnglishVedi tutte le edizioni e i formati
Sommario:
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The  Per saperne di più…
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/formato: Conference papers and proceedings
Electronic books
Congresses
Informazioni aggiuntive sul formato: Printed edition:
Tipo materiale: Conference publication, Document, Risorsa internet
Tipo documento Risorsa Internet, Computer file
Tutti gli autori / Collaboratori: Klaus Havelund; Jan Peleska; A W Roscoe; Erik de Vink
ISBN: 9783319955827 3319955829
Numero OCLC: 1045068470
Note: International conference proceedings.
Includes author index.
Descrizione: 1 online resource (xiv, 692 pages) : illustrations
Titolo della serie: Lecture notes in computer science, 10951.; Lecture notes in computer science., Formal methods.; LNCS sublibrary., SL 2,, Programming and software engineering.
Altri titoli: FM 2018
Responsabilità: Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink (eds.).

Sinossi:

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited  Per saperne di più…

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Linked data


Primary Entity

<http://www.worldcat.org/oclc/1045068470> # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "1045068470" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_hardware_handheld_devices> ; # Computers--Hardware--Handheld Devices
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_software_development_&_engineering_general> ; # Computers--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_computer_simulation> ; # Computers--Computer Simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/programming_&_scripting_languages_general> ; # Programming & scripting languages: general
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computer_science> ; # Computer science
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_computer_science> ; # Computers--Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_intelligence_ai_&_semantics> ; # Computers--Intelligence (AI) & Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/formal_methods_computer_science> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computer_modelling_&_simulation> ; # Computer modelling & simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_programming_languages_general> ; # Computers--Programming Languages--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5346794459#Topic/systems_analysis_&_design> ; # Systems analysis & design
    schema:alternateName "FM 2018" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5346794459#Meeting/federated_logic_conference_2018_oxford_england> ; # Federated Logic Conference (2018 : Oxford, England),
    schema:creator <http://experiment.worldcat.org/entity/work/data/5346794459#Meeting/international_symposium_of_formal_methods_europe_22nd_2018_oxford_england> ; # International Symposium of Formal Methods Europe (22nd : 2018 : Oxford, England)
    schema:datePublished "2018" ;
    schema:description "This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5346794459#Person/roscoe_a_w> ; # A. W. Roscoe
    schema:editor <http://experiment.worldcat.org/entity/work/data/5346794459#Person/vink_erik_de> ; # Erik de Vink
    schema:editor <http://experiment.worldcat.org/entity/work/data/5346794459#Person/havelund_klaus_1955> ; # Klaus Havelund
    schema:editor <http://experiment.worldcat.org/entity/work/data/5346794459#Person/peleska_jan> ; # Jan Peleska
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5346794459> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5346794459#Series/formal_methods> ; # Formal methods
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5346794459#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5346794459#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5346794459#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5346794459#CreativeWork/> ;
    schema:name "Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings"@en ;
    schema:productID "1045068470" ;
    schema:url <https://doi.org/10.1007/978-3-319-95582-7> ;
    schema:url <https://link.springer.com/10.1007/978-3-319-95582-7> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-319-95582-7> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-95582-7> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-95582-7> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-95582-7> ;
    schema:workExample <http://worldcat.org/isbn/9783319955827> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB8N9340> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1045068470> ;
    .


Related Entities

<http://dx.doi.org/10.1007/978-3-319-95582-7>
    a schema:IndividualProduct ;
    rdfs:comment "An electronic book accessible through the World Wide Web; click for access" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Meeting/federated_logic_conference_2018_oxford_england> # Federated Logic Conference (2018 : Oxford, England),
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5346794459#Place/oxford_england> ; # Oxford, England),
    schema:name "Federated Logic Conference (2018 : Oxford, England)," ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Meeting/international_symposium_of_formal_methods_europe_22nd_2018_oxford_england> # International Symposium of Formal Methods Europe (22nd : 2018 : Oxford, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5346794459#Place/oxford_england> ; # Oxford, England),
    schema:name "International Symposium of Formal Methods Europe (22nd : 2018 : Oxford, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Person/havelund_klaus_1955> # Klaus Havelund
    a schema:Person ;
    schema:birthDate "1955" ;
    schema:familyName "Havelund" ;
    schema:givenName "Klaus" ;
    schema:name "Klaus Havelund" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Person/peleska_jan> # Jan Peleska
    a schema:Person ;
    schema:familyName "Peleska" ;
    schema:givenName "Jan" ;
    schema:name "Jan Peleska" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Person/roscoe_a_w> # A. W. Roscoe
    a schema:Person ;
    schema:familyName "Roscoe" ;
    schema:givenName "A. W." ;
    schema:name "A. W. Roscoe" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Person/vink_erik_de> # Erik de Vink
    a schema:Person ;
    schema:familyName "Vink" ;
    schema:givenName "Erik de" ;
    schema:name "Erik de Vink" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Place/oxford_england> # Oxford, England),
    a schema:Place ;
    schema:name "Oxford, England)," ;
    schema:name "Oxford, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Series/formal_methods> # Formal methods
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    schema:name "Formal methods" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computer_modelling_&_simulation> # Computer modelling & simulation
    a schema:Intangible ;
    schema:name "Computer modelling & simulation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_computer_science> # Computers--Computer Science
    a schema:Intangible ;
    schema:name "Computers--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_computer_simulation> # Computers--Computer Simulation
    a schema:Intangible ;
    schema:name "Computers--Computer Simulation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_hardware_handheld_devices> # Computers--Hardware--Handheld Devices
    a schema:Intangible ;
    schema:name "Computers--Hardware--Handheld Devices"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_intelligence_ai_&_semantics> # Computers--Intelligence (AI) & Semantics
    a schema:Intangible ;
    schema:name "Computers--Intelligence (AI) & Semantics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_programming_languages_general> # Computers--Programming Languages--General
    a schema:Intangible ;
    schema:name "Computers--Programming Languages--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/computers_software_development_&_engineering_general> # Computers--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "Computers--Software Development & Engineering--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/formal_methods_computer_science> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/programming_&_scripting_languages_general> # Programming & scripting languages: general
    a schema:Intangible ;
    schema:name "Programming & scripting languages: general"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/5346794459#Topic/systems_analysis_&_design> # Systems analysis & design
    a schema:Intangible ;
    schema:name "Systems analysis & design"@en ;
    .

<http://worldcat.org/entity/work/data/5346794459#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    .

<http://worldcat.org/isbn/9783319955827>
    a schema:ProductModel ;
    schema:isbn "3319955829" ;
    schema:isbn "9783319955827" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/1045068470>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1045068470> ; # Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    schema:dateModified "2019-09-08" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.