Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Authors: Leslie Lamport
ISBN-10: 032114306X
ISBN-13: 9780321143068
Edition: 1
Released: 2002-07-29
Paperback: 382 pages
List Price99
网盘下载地址：
格式(PDF, ePub, Kindle 版本等格式)sample
15－Specifying Systems 9780321143068.pdf
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
未经允许不得转载：电子书百科大全 » Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
相关推荐
Underneath the Bragg Peaks: Structural Analysis of Complex Materials (Volume 16) 2nd Edition- Metallurgy and Design of Alloys with Hierarchical Microstructures
- The Soul of a New Machine (Modern Library)
- 3G Handy Guide: HVAC Technician (2nd Edition)
- Review Papers in Big Data, Cloud-Based Data Analysis and Learning Systems
- Glück gehabt! Zwölf Gründe, warum es uns überhaupt gibt 2014th Edition
- Circuit-Technology Co-Optimization of SRAM Design in Advanced CMOS Nodes
- Handbook for Chemical Process Research and Development, 2nd Edition
评论前必须登录！
立即登录 注册