Description

Book Synopsis

.- Improved Gas Optimization of Smart Contracts.

.- Distributing Quantum Circuits Using Formal Methods.

.- Automated Test Generation: Taxonomy and Tool Applications.

.- Finding Universally Quantified Heap Invariants by Horn Clause Transformations.

.- A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines.

.- Extracting Formal Models for User’s Behaviors in Social Networks using Automata and Machine Learning.

.- Shielded Online Reinforcement Learning for Stormwater Detention Ponds.

.- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic.

.- On time-sensitive control closure for secure information flow.

.- Automatic Generation of Loop Invariants in Dafny with Large Language Models.

.- Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline.

.- Formally Verified Verifiable Group Generators.

Fundamentals of Software Engineering

    Product form

    £108.30

    Includes FREE delivery

    RRP £114.00 – you save £5.70 (5%)

    Order before 4pm today for delivery by Mon 3 Aug 2026.

    A Paperback by Hossein Hojjat

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

      View other formats and editions of Fundamentals of Software Engineering by Hossein Hojjat

      Publisher: Springer
      Publication Date: Publication Date: 21/04/2025
      ISBN13: 9783031870538, 978-3031870538
      ISBN10:
      Also in:
      Computing Software Engineering

      Description

      Book Synopsis

      .- Improved Gas Optimization of Smart Contracts.

      .- Distributing Quantum Circuits Using Formal Methods.

      .- Automated Test Generation: Taxonomy and Tool Applications.

      .- Finding Universally Quantified Heap Invariants by Horn Clause Transformations.

      .- A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines.

      .- Extracting Formal Models for User’s Behaviors in Social Networks using Automata and Machine Learning.

      .- Shielded Online Reinforcement Learning for Stormwater Detention Ponds.

      .- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic.

      .- On time-sensitive control closure for secure information flow.

      .- Automatic Generation of Loop Invariants in Dafny with Large Language Models.

      .- Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline.

      .- Formally Verified Verifiable Group Generators.

      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