Concise guide to formal methods
theory, fundamentals and industry applications
Gerard O' Regan
creator
text
Switzerland
Springer nature
2017
monographic
xxvi. 322 p. : ill. col. ; 23 cm.
Includes index.
Copmputer science
Software engineering
computer security
Modelling language
FC
005.131 ORE
9783319640204 (pbk)
9783319640211 (ebook)