YURTSEVEN.ORG is completely for sale, including Databases and Domainname.
View Stats!
HOME
Algorithms
Yurtseven.ORG
Algorithms
Abstract State Machines
07-January-2012
A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
Browse Website
[more pages from this URL]
[similar pages]
«
PREVIOUS
NEXT
»
»
Algorithms
Category Home
«
The Book of the 21. Century