Abstract State Machines

Directory Search

Details information

Title:-Abstract State Machines
Description:- A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
Category:- Computers and Internet: Algorithms
Pagerank:- 7
ID:- 15
Link Owner:- eecs.umich.edu
Date Added:- May 16, 2007 01:52:37 PM
Number Hits:- 2

Search Engine information

	Indexed Pages: 74,300 \| Backlinks: 294
	Indexed Pages: 0 \| Backlinks: 34 results· advanced
	Indexed Pages: 192,142 \| Backlinks: 72,125
	Indexed Pages: 671,000 \| Backlinks: 70,900
	Indexed Pages: 0 \| Backlinks: 5,220