Browse New Popular Keyword Cloud Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports
Advertise herefrom $25.00/day  ·  RON $40.00/day

Abstract State Machines

eecs.umich.edu
Visit Site

A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.

Category
Algorithms
Visits
406
Added
Jan 18, 2024
Rating
(142)
Rate This Site
More in Algorithms Report
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Advertise herefrom $12.00/day  ·  RON $18.00/day
Advertise herefrom $10.00/day  ·  RON $15.00/day
Advertise herefrom $8.00/day  ·  RON $11.20/day
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Combinatorial Algorithms 499 visits
CATS: Combinatorial Algorithms Test Sets 488 visits
Algorithms Archive 466 visits
Algorithms in the Real World 455 visits
Web Data Structures and Algorithms 337 visits
Advertise herefrom $15.00/day  ·  RON $21.00/day
Get the best links delivered weekly — hand-picked from 1,541,614 resources