Login

Boca, Paul

Formal Methods: State of the Art and New Directions

Boca, Paul - Formal Methods: State of the Art and New Directions, ebook

25,65€

Ebook, PDF with Adobe DRM
ISBN: 9781848827363
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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 νZ

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)
 
 
Publisher
Springer
Publication year
2010
Language
en
Edition
1
Page amount
24 pages
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9781848827363

Similar titles