Modeling in Event-B System and Software Engineering

File Information:
  1. Magnet Link:Magnet LinkMagnet Link
  2. File Size:3.01 MB
  3. Creat Time:2014-11-24
  4. Active Degree:142
  5. Last Active:2024-11-17
  6. File Tags:Modeling  in  Event  B  System  and  Software  Engineering  
  7. Statement:This site does not provide download links, only text displays, and does not contain any infringement.
File List:

    Modeling in Event-B System and Software Engineering

  1. Modeling in Event-B System and Software Engineering.pdf 3.01 MB