ISBN-10:
1848827350
ISBN-13:
9781848827356
Pub. Date:
12/21/2009
Publisher:
Springer London
Formal Methods: State of the Art and New Directions / Edition 1

Formal Methods: State of the Art and New Directions / Edition 1

Hardcover

Current price is , Original price is $159.99. You
Select a Purchase Option (2010)
  • purchase options
    $127.99 $159.99 Save 20% Current price is $127.99, Original price is $159.99. You Save 20%.
  • purchase options

Product Details

ISBN-13: 9781848827356
Publisher: Springer London
Publication date: 12/21/2009
Edition description: 2010
Pages: 273
Product dimensions: 6.40(w) x 9.30(h) x 1.00(d)

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews