storiet v.2

theme

voice

language

sign in
Capa de International Refinement Workshop & Formal Methods Pacific '98

a novel ·

International Refinement Workshop & Formal Methods Pacific '98

por

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 …

start reading + shelf
  • ● 92% match for you
  • ● science & technology

the long version

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.

M

Margaret's verdict

"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 …"

— Margaret

highlights

what readers held onto

No highlights yet. Be the first.

discussion

what readers said

No reviews yet. Finish it; tell us what you found.