Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-3 of 3)
Expert systems (Computer science) -- Verification.
1
E-book
1994

Computer-aided verification of coordinating processes : the automata-theoretic approach


Kurshan, R. P., 1943- author.

Princeton, New Jersey : Princeton University Press, [1994]

Rating:

 
3
Book
1991

Validating and verifying knowledge-based systems




Los Alamitas, Calif. : IEEE Computer Society Press, [1991]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  006.33 Gup/Vav  AVAILABLE
Add Marked to Bag Add All On Page
Locate in results