Koop 10 boeken voor 10 € hier!
Bookbot

Jiacun Wang

    Frenchman's Gold
    Formal Methods in Computer Science
    Timed Petri Nets
    • Timed Petri Nets

      Theory and Application

      • 296bladzijden
      • 11 uur lezen
      2,0(1)Tarief

      The book explores high-performance discrete event dynamic systems (DEDSs), which are essential for enhancing productivity and competitiveness in modern civilization. It delves into the complexity and scalability of these systems, which include manufacturing, communication, and logistics. The focus is on the critical role of modeling and performance evaluation in their design and operation. Additionally, it highlights a specific methodology using timed Petri nets and associated graphical and mathematical tools, reflecting two decades of research in this field.

      Timed Petri Nets
    • Formal Methods in Computer Science

      • 294bladzijden
      • 11 uur lezen
      1,5(2)Tarief

      Focusing on formal methods, this textbook provides a thorough introduction to their application in specifying and verifying both software and hardware. It equips students with essential concepts and techniques, making it a valuable resource for understanding the rigor and precision required in the development of reliable systems.

      Formal Methods in Computer Science