Description

Book Synopsis

1 The Significance of Symbolic Logic for Scientific Education.- Introducing GitHub Classroom into a Formal Methods Module.- Teaching through Practice: Advanced Static Analysis with LiSA.- Teaching Formal Methods for 10 Years: Reflections on Theories, Tools, Materials, and Communities.- An Educational Module for Temporal Features in Alloy 6.- Checking contracts in Event-B.- Teaching with Logika: Conceiving and Constructing Correct Software.- 8 Teaching Formal Methods in Application Domains: A Case Study in Computer and Network Security.

Formal Methods Teaching

    Product form

    A Paperback by Emil Sekerinski

    £999.99

    Includes FREE delivery

    Out of stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Formal Methods Teaching by Emil Sekerinski

      Book details

      Publisher Springer Nature
      Published 5 September 2024
      ISBN-13 9783031713781
      978-3031713781
      ISBN-10 3031713788
      Also in:
      Mathematical logic

      Description

      Book Synopsis

      1 The Significance of Symbolic Logic for Scientific Education.- Introducing GitHub Classroom into a Formal Methods Module.- Teaching through Practice: Advanced Static Analysis with LiSA.- Teaching Formal Methods for 10 Years: Reflections on Theories, Tools, Materials, and Communities.- An Educational Module for Temporal Features in Alloy 6.- Checking contracts in Event-B.- Teaching with Logika: Conceiving and Constructing Correct Software.- 8 Teaching Formal Methods in Application Domains: A Case Study in Computer and Network Security.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account