コンテンツへ移動
Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings 資料のプレビュー
閉じる資料のプレビュー
確認中…

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

著者: Klaus Havelund; Jan Peleska; A W Roscoe; Erik de Vink
出版社: Cham, Switzerland : Springer, 2018.
シリーズ: Lecture notes in computer science, 10951.; Lecture notes in computer science., Formal methods.; LNCS sublibrary., SL 2,, Programming and software engineering.
エディション/フォーマット:   電子書籍 : Document : Conference publication : Englishすべてのエディションとフォーマットを見る
概要:
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  続きを読む
評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

オンラインで入手

この資料へのリンク

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

ジャンル/形式: Conference papers and proceedings
Electronic books
Congresses
その他のフォーマット: Printed edition:
資料の種類: Conference publication, Document, インターネット資料
ドキュメントの種類 インターネット資料, 電子ファイル
すべての著者/寄与者: Klaus Havelund; Jan Peleska; A W Roscoe; Erik de Vink
ISBN: 9783319955827 3319955829
OCLC No.: 1045068470
メモ: International conference proceedings.
Includes author index.
物理形態: 1 online resource (xiv, 692 pages) : illustrations
シリーズタイトル: Lecture notes in computer science, 10951.; Lecture notes in computer science., Formal methods.; LNCS sublibrary., SL 2,, Programming and software engineering.
その他のタイトル: FM 2018
責任者: Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink (eds.).

概要:

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  続きを読む

レビュー

ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

まずはあなたから!
リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


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

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.