Boca, Paul
Formal Methods: State of the Art and New Directions
1. Domain Engineering
Dines Bjørner
2. Program Verification and System Dependability
Michael Jackson
3. The Abstract State Machines Method for High-Level System Design and Analysis
Egon Börger
4. Applications and Methodology of
Martin C. Henson
5. The Computer Ate My Vote
Peter Y. A. Ryan
6. Formal Methods for Biochemical Signalling Pathways
Muffy Calder, Stephen Gilmore, Jane Hillston, Vladislav Vyshemirsky
7. Separation Logic and Concurrency
Richard Bornat
8. Programming Language Description Languages
Peter D. Mosses
Keywords: Computer Science, Software Engineering, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters
- Author(s)
- Boca, Paul
- Bowen, Jonathan P.
- Siddiqi, Jawed
- Publisher
- Springer
- Publication year
- 2010
- Language
- en
- Edition
- 1
- Page amount
- 24 pages
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9781848827363