Artículos relacionados a Formal Methods: Theory and Practice
Sinopsis
This book is a self-contained exposition of formal (i. e. rigorous, mathematical) methods for the specification, analysis and verification of system design. Representative applications of these methods are given to software specification and communications standardisation. The book is aimed at practising design engineers, rather than at theoretical computer scientists.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This book is a self-contained exposition of formal (i. e. rigorous, mathematical) methods for the specification, analysis and verification of system design. Representative applications of these methods are given to software specification and communications standardisation. The book is aimed at practising design engineers, rather than at theoretical computer scientists.
"Sobre este título" puede pertenecer a otra edición de este libro.