«Top»
:
«Computers»
:
Algorithms
Animated
Compression
Computational Algebra
Conferences
People
Pseudorandom Numbers
Publications
Research Groups
Sorting and Searching
«Top»
:
«Computers»
:
Algorithms Sites
Abstract State Machines
A formal method for specifying and verifying algorithms. tools , meetings , researchers in the area.
www.eecs.umich.edu/gasm
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor
Directory listings are provided by
Open Directory
and modified by
domalot.net
Home
|
Contact
|
Register Domain
|
Copyleft 2006
domalot.net