Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/652
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Havelund, Klaus. ; | en_US |
| dc.contributor.author | Peleska, Jan. ; | en_US |
| dc.contributor.author | Roscoe, Bill. ; | en_US |
| dc.contributor.author | de Vink, Erik. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:20:06Z | - |
| dc.date.available | 2020-05-17T08:20:06Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319955827 ; | en_US |
| dc.identifier.isbn | 9783319955810 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/652 | - |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | Printed edition: ; 9783319955810. ; | en_US |
| dc.description | en_US | |
| dc.description | 005.1 ; 23 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | 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_US |
| dc.description.statementofresponsibility | edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink. | en_US |
| dc.format.extent | XIV, 692 p. 131 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10951. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10951. ; | en_US |
| dc.relation.haspart | 9783319955810.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer system failures. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Computers | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Computer simulation. ; | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Theory of Computation. ; | en_US |
| dc.subject | Artificial Intelligence and Robotics | en_US |
| dc.subject | Simulation and Modeling. ; | en_US |
| dc.subject | System Performance and Evaluation. ; | en_US |
| dc.subject.lcc | QA76.758 ; | en_US |
| dc.title | Formal Methods | en_US |
| dc.title.alternative | 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319955810.pdf | 26.18 MB | Adobe PDF |  Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Havelund, Klaus. ; | en_US |
| dc.contributor.author | Peleska, Jan. ; | en_US |
| dc.contributor.author | Roscoe, Bill. ; | en_US |
| dc.contributor.author | de Vink, Erik. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:20:06Z | - |
| dc.date.available | 2020-05-17T08:20:06Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319955827 ; | en_US |
| dc.identifier.isbn | 9783319955810 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/652 | - |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | Printed edition: ; 9783319955810. ; | en_US |
| dc.description | en_US | |
| dc.description | 005.1 ; 23 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | 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_US |
| dc.description.statementofresponsibility | edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink. | en_US |
| dc.format.extent | XIV, 692 p. 131 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10951. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10951. ; | en_US |
| dc.relation.haspart | 9783319955810.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer system failures. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Computers | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Computer simulation. ; | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Theory of Computation. ; | en_US |
| dc.subject | Artificial Intelligence and Robotics | en_US |
| dc.subject | Simulation and Modeling. ; | en_US |
| dc.subject | System Performance and Evaluation. ; | en_US |
| dc.subject.lcc | QA76.758 ; | en_US |
| dc.title | Formal Methods | en_US |
| dc.title.alternative | 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319955810.pdf | 26.18 MB | Adobe PDF | Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Havelund, Klaus. ; | en_US |
| dc.contributor.author | Peleska, Jan. ; | en_US |
| dc.contributor.author | Roscoe, Bill. ; | en_US |
| dc.contributor.author | de Vink, Erik. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:20:06Z | - |
| dc.date.available | 2020-05-17T08:20:06Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319955827 ; | en_US |
| dc.identifier.isbn | 9783319955810 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/652 | - |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | Printed edition: ; 9783319955810. ; | en_US |
| dc.description | en_US | |
| dc.description | 005.1 ; 23 ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | 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_US |
| dc.description.statementofresponsibility | edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink. | en_US |
| dc.format.extent | XIV, 692 p. 131 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10951. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10951. ; | en_US |
| dc.relation.haspart | 9783319955810.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer system failures. ; | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Computers | en_US |
| dc.subject | Artificial Intelligence | en_US |
| dc.subject | Computer simulation. ; | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Software Engineering | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Theory of Computation. ; | en_US |
| dc.subject | Artificial Intelligence and Robotics | en_US |
| dc.subject | Simulation and Modeling. ; | en_US |
| dc.subject | System Performance and Evaluation. ; | en_US |
| dc.subject.lcc | QA76.758 ; | en_US |
| dc.title | Formal Methods | en_US |
| dc.title.alternative | 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319955810.pdf | 26.18 MB | Adobe PDF | Preview File |