Alexander Shelemin’s Reviews > Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers > Status Update

Alexander Shelemin
Alexander Shelemin is on page 150 of 384
— Sep 01, 2017 03:43AM
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

flag

Post a comment »
Comments

No comments have been added yet.


All of Alexander’s status updates
Everyone’s updates from this book