TY  - BOOK
AU  - Gabbar,Hossam A.
TI  - Modern formal methods and applications
SN  - 9781402042225 (hbk.)
AV  - QA76.9.F67 M63 2006
U1  - 005.13/1 22
PY  - 2006///
CY  - Dordrecht
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Industrial applications
N1  - Includes bibliographical references and index
UR  - http://www.loc.gov/catdir/toc/fy0701/2006482015.html
UR  - http://www.loc.gov/catdir/enhancements/fy0824/2006482015-b.html
UR  - http://www.loc.gov/catdir/enhancements/fy0625/2006482015-d.html
ER  -