Springer
Formal Methods: State of the Art and New Directions
Product Code:
9781848827356
ISBN13:
9781848827356
Condition:
New
$118.37
Formal Methods: State of the Art and New Directions
$118.37
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 |
| Publisher: Springer |
| Publication Date: Dec 22, 2009 |
| Number of Pages: 273 pages |
| Binding: Hardback or Cased Book |
| ISBN-10: 1848827350 |
| ISBN-13: 9781848827356 |
Related Products
