Description: While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary
Pub Date: April 2, 2001
Dewey: 512.0285
LCCN: 00065015
Lexile Code: 0000
Features: Table of Contents
Target Age Group: NA to NA
Physical Info: 0.82" H x 9.27" L x 6.63" W ( 1.24 lbs) 284 pages
BISAC Categories:
Mathematics | Algebra | Abstract | Discrete Mathematics | Computers | Mathematical and Statistical Software | Number Systems
Description: While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary