Best Reference Books for Formal Systems

by BuildMyVocab

List of "Best Reference Books for Formal Systems" compiled based on Amazon book reviews by experts. These books are used by students of top institutes, universities, colleges and professionals. Please feel free to suggest any other book on this topic using the comment section below.

1. Formal Models of Operating System Kernels by Iain D. Craig
   Springer (Number of pages: 333)
   Add to Amazon wishlist
2. Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) by Klaus Schneider
   Springer (Number of pages: 602)
   Add to Amazon wishlist
3. Real-Time Systems: Formal Specification and Automatic Verification by Ernst-Rüdiger Olderog,Henning Dierks
   Cambridge University Press (Number of pages: 344)
   Add to Amazon wishlist
4. mural: A Formal Development Support System by C.B. Jones,K.D. Jones,Peter Lindsay,R.D. Moore
   Springer (Number of pages: 421)
   Add to Amazon wishlist
5. Formal Modeling and Verification of Cyber-Physical Systems by
   Springer Nature (Number of pages: 313)
   Add to Amazon wishlist
6. Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings (Lecture Notes in Computer Science) by
   Springer (Number of pages: 289)
   Add to Amazon wishlist
7. Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings (Lecture Notes in Computer Science) by
   Springer (Number of pages: 319)
   Add to Amazon wishlist
8. Descriptional Complexity of Formal Systems: 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings (Lecture Notes in Computer Science) by
   Springer (Number of pages: 329)
   Add to Amazon wishlist
9. Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings (Lecture Notes in Computer Science) by
   Springer (Number of pages: 217)
   Add to Amazon wishlist
10. Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings (Lecture Notes in Computer Science) by
    Springer (Number of pages: 293)
    Add to Amazon wishlist

Discuss anything about "Best Reference Books for Formal Systems" below. Submit your favourite books on the topic using the comment section below.