Description: Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991
Pub Date: July 5, 1993
Dewey: 004.015113
Lexile Code: 0000
Target Age Group: NA to NA
Physical Info: 1.00" H x 9.21" L x 6.14" W ( 1.79 lbs) 442 pages
BISAC Categories:
Computers | Logic Design | Software Development and Engineering | General | Networking | Hardware | Languages | Programming | Machine Theory | Computer Science | Mathematics | Applied
Series: NATO Asi Subseries F:
Description: Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991