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)
  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)
  3. Real-Time Systems: Formal Specification and Automatic Verification by Ernst-Rüdiger Olderog,Henning Dierks
    Cambridge University Press (Number of pages: 344)
  4. mural: A Formal Development Support System by C.B. Jones,K.D. Jones,Peter Lindsay,R.D. Moore
    Springer (Number of pages: 421)
  5. Formal Modeling and Verification of Cyber-Physical Systems by
    Springer Nature (Number of pages: 313)
  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)
  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)
  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)
  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)
  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)

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