|
|
 | |
Detail information for: Abstract State Machines |
| ID: | 5375 |
| Title: | Abstract State Machines - http://www.eecs.umich.edu/gasm/ |
| Pagerank: | 6 |
| Description: | A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area. |
| Category: | Computers |
| Link Owner: | |
| Date Added: | January 21, 2007 04:23:08 PM |
| Number Hits: | 0 |
Copyright Million Connections 2007, All right's Reserved. |