Warning: Constant WP_DEBUG already defined in C:\wwwroot\ebooks.wiki\wp-config.php on line 98

Warning: Constant WP_DEBUG_LOG already defined in C:\wwwroot\ebooks.wiki\wp-config.php on line 99

Warning: Constant WP_DEBUG_DISPLAY already defined in C:\wwwroot\ebooks.wiki\wp-config.php on line 100
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers-电子书百科大全
Hi, 请登录   找回密码
首页 > 工程 > 正文

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

2019-09-04 分类：工程 阅读(417) 评论(0)

Warning: Undefined variable $class_attr in C:\wwwroot\ebooks.wiki\wp-content\themes\qux\func\functions.php on line 1691


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 Price9915－Specifying Systems 9780321143068.pdf

 收藏 (0) 打赏

您可以选择一种方式赞助本站

支付宝扫一扫赞助

微信钱包扫描赞助

未经允许不得转载：电子书百科大全 » Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

分享到： 生成海报

相关推荐

评论 抢沙发

评论前必须登录！

立即登录   注册

登录

忘记密码 ?

切换登录

注册

我们将发送一封验证邮件至你的邮箱, 请正确填写以完成账号注册和激活