Cover Image
Read Now

1
Published 2010
Springer London
Table of Contents: “...Domain Engineering -- Program Verification and System Dependability -- The Abstract State Machines...”