Specifying Systems: The Tla+ Language And Tools For Hardware And Software Engineers
$26.02
condition used
Sold By