Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Country | USA |
Brand | Apress |
Manufacturer | Apress |
Binding | Paperback |
ItemPartNumber | 22 Illustrations, black and white; XXIII |
ReleaseDate | 2018-10-12 |
UnitCount | 1 |
EANs | 9781484238288 |