| Amer Mathematical Society

200,800원  | 19910901  | 9780821865941

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

 | Amer Society of Civil Engineers

14,470원  | 19890701  | 9780872627093

Organized around the theme ""Networking in Engineering Colleges"", the conference deals with the trends in computer-aided engineering applications of computer-aided design, manufacturing automation, and networking. It provides a forum for leaders from education and government to focus on issues related to the automation of engineering practice.