Formal Methods for Software Engineering
File Size : 57,57 MBTotal View : 1333 Views
DOWNLOAD
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a fo