Title Formal methods : foundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings / Tiago Massoni, Mohammad Reza Mousavi (eds.)

Published Cham, Switzerland : Springer, 2018

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource (x, 271 pages) : illustrations Series Lecture notes in computer science ; 11254 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 11254. LNCS sublibrary. SL 2, Programming and software engineering. Contents Techniques and methodologies -- Specification and modeling languages -- Theoretical foundations -- Verification and validation -- Experience reports regarding teaching formal methods -- Applications Summary Chapter "TeSSLa: Temporal Stream-Based Specification Language" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed November 28, 2018) Subject Formal methods (Computer science) -- Congresses Programming & scripting languages: general. Computer programming -- software development. Mathematical theory of computation. Algorithms & data structures. Software Engineering. Computers -- Programming Languages -- General. Computers -- Programming -- General. Mathematics -- Logic. Computers -- Programming -- Algorithms. 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 Massoni, Tiago, editor Mousavi, Mohammad Reza, 1978- editor. ISBN 9783030030445 303003044X

Other Titles SBMF 2018

  Permalink