O'Regan, Gerar. (2017) Concise guide to formal methods :theory, fundamentals and industry applications Cham, Switzerland : Springer,MLA Citation
O'Regan, Gerar. Concise Guide To Formal Methods: Theory, Fundamentals And Industry Applications. Cham, Switzerland : Springer, 2017. Print.
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Concise guide to formal methods : theory, fundamentals and industry applications /
|Published:||Cham, Switzerland : Springer, 2017.|
Undergraduate topics in computer science,
|Topics:||Formal methods (Computer science)|