عنوان
پدید آورنده
موضوع
رده
QA76.9.F67
QA76
.
9
.
F67
کتابخانه
محل استقرار
303003044X
9783030030445
3030030431
9783030030438
Formal methods :
[Book]
foundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings /
Tiago Massoni, Mohammad Reza Mousavi (eds.).
Cham, Switzerland :
Springer,
2018.
1 online resource (x, 271 pages) :
illustrations
Lecture notes in computer science ;
LNCS sublibrary. SL 2, Programming and software engineering
11254
Includes author index.
International conference proceedings.
Techniques and methodologies -- Specification and modeling languages -- Theoretical foundations -- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.
0
Chapter "TeSSLa: Temporal Stream-Based Specification Language" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Springer Nature
com.springer.onix.9783030030445
9783030030438
9783030030452
SBMF 2018
Formal methods (Computer science), Congresses.
Algorithms & data structures.
Computer programming-- software development.
Computers-- Programming-- Algorithms.
Computers-- Programming-- General.
Computers-- Programming Languages-- General.
Computers-- Software Development & Engineering-- General.
Formal methods (Computer science)
Mathematical theory of computation.
Mathematics-- Logic.
Programming & scripting languages: general.
Software Engineering.
COM051230
UMZ
UMZ
004
.
01/51
23
QA76
.
9
.
F67
Massoni, Tiago
Mousavi, Mohammad Reza,1978-
Brazilian Symposium on Formal Methods(21st :2018 :, Salvador, Brazil)
20200823074923.0
pn
مطالعه متن کتاب [Book]
Y
