Image from Amazon.com
Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings / edited by Simone Cavalheiro, José Fiadeiro.
Material type:
TextPublisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017Description: 1 Electronic resource (1 volume)Content type: - text
- computer
- online resource
- 9783319708485
- 005.1 FOR 2017 23
Contents:
Summary: The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages.
| Item type | Current library | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | Course reserves |
|---|---|---|---|---|---|---|---|---|---|---|
Electronic Book
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Online Resources | FCUC Library | 005.1 FOR 2017 (Browse shelf(Opens below)) | e-book | e00131 |
Total holds: 0
Browsing FIRST CITY UNIVERSITY COLLEGE shelves, Shelving location: FCUC Library, Collection: Online Resources Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
||
| 004.6782 BON 2015 The enterprise cloud : | 005.1 BAS 2013 Software architecture in practice / | 005.1 FOR 2017 Formal Methods: Foundations and Applications : | 005.1 MEY 2014 Agile! : | 005.1 SOM 2016 Software engineering / | 005.1 WIE 2013 Software requirements / |
Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages.
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.