Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers

by: 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

获取PDF电子书

代发服务10元立即求助

未经允许不得转载：Wow! eBook » Specifying Systems:The TLA+ Language and Tools for Hardware and Software Engineers