by International Refinement Workshop and Formal Methods Pacific 1998 (1998 Canberra, Australia)
IRW/FMP'98 provides a forum for the discussion of current research on mathematically based techniques for design and development of computer systems, especialloy formal or rigorous methods for developing executable programs from abstract specifications, tool support for formal software, and practical experience with formal methods. Topics also include the specification and verification of hardware and software, and the specification and development of real-time, probabilistic and concurrent systems.
Erin Morgenstern
Virginia Evans
Indie authors send us advance copies. We match them to readers by genre. You get the book free, the author gets an honest review.
