«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