Formal Methods: State of the Art and New Directions (Hardcover) (ISBN-13: 9781848827356)

Domain Engineering.- Program Verification and System Dependability.- The Abstract State Machines Method for High-Level System Design and Analysis.- Applications and Methodology of ?Z.- The Computer Ate My Vote.- Formal Methods for Biochemical Signalling Pathways.- Separation Logic and Concurrency.- Programming Language Description Languages.

Author: Paul Boca
ISBN-10: 1848827350
ISBN-13: 9781848827356
Publisher: Springer
Language: English
Published: 12/22/2009
Pages: 273
Format: Hardcover
Weight: 1.26lbs
Size: 9.50h x 6.43w x 0.91d