Title Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings / Simone Cavalheiro, José Fiadeiro (eds.)

Published Cham, Switzerland : Springer, 2017

Click on the following:
Springer eBooks

Copies

Description 1 online resource (x, 305 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 10623 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 10623. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering. Contents Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages Summary The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed November 29, 2017) Subject Formal methods (Computer science) -- Congresses Computer science. Computer modelling & simulation. Information technology: general issues. Systems analysis & design. Software Engineering. Computers -- Computer Science. Computers -- Computer Simulation. Computers -- General. Computers -- Hardware -- Handheld Devices. Computers -- Software Development & Engineering -- General. Formal methods (Computer science) Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Cavalheiro, Simone, editor. Fiadeiro, José Luiz, 1961- editor. ISBN 9783319708485 3319708481

Other Titles SBMF 2017

  Permalink