Thumbnail
Access Restriction
Subscribed

Author Yi, Kwangkeun ♦ Shilov, Nikolay V.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF ♦ HTM / HTML
Language English
Abstract How formal methods can be presented in a popular---but mathematically sound---manner to undergraduate students of various disciplines.
Description Affiliation: A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia (Shilov, Nikolay V.) || Korea Advanced Institute of Science and Technology, Daejeon, Korea (Yi, Kwangkeun)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 45
Issue Number 9
Page Count 4
Starting Page 98
Ending Page 101


Open content in new tab

   Open content in new tab
Source: ACM Digital Library