WHY CHOOSE US ? | Page Authority 64/100

Details information
ID:- 53
Title:- Abstract State Machines
Description:- A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
Category:- Computers: Algorithms
Link Owner:- eecs.umich.edu
Date Added:- June 27, 2009 10:04:59 PM
Number Hits:- 1
Alexa information



