无名图书
收藏
Practical TLA+
Hillel Wayne
出版社
Apress
出版时间
2018-12-13
ISBN
9781484238288
评分
★★★★★
标签
计算机
形式化
TLA
编程
Apress的其他书籍
查看全部
Programming with 64-Bit ARM Assembly Language
Stephen Smith
Practical Rust Projects
Shing Lyu
Game Development with Ren'Py
Robert Ciesla
Practical Shader Development
Kyle Halladay
Pro .NET Memory Management
Konrad Kokosa
Beginning PowerApps
Tim Leung
收藏
