登录 | 注册 | 用户 | 添加收藏 | English 

图书介绍

Publisher: Springer; 1 edition
Language: English
ISBN: 3540210024
Paperback: 783 pages
Data: April 14, 2004
Format: PDF
Description: This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.

The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.



Download - (6 Mb)

Copyright Disclaimer:
本站一切内容源于互联网搜索，禁止商用！ 如有任何不妥请联系:admin@ebookee.com，我们将在24小时内删除相关内容。

"Verification: Theory and Practice" 下载链接:

如何下载？
你可能需要 电骡或者BT软件下载BT种子或者电骡链接.

报告死链接
请留言报告死链接，在留言板里可以看到你在该页的留言。

1. Ebooks list page : 1560
2. [share_ebook] Verification: Theory and Practice
3. Verification: Theory and Practice {Repost}
4. Verification: Theory and Practice
5. Verification: Theory and Practice
6. [share_ebook] Understanding Risk: The Theory and Practice of Financial Risk Management
7. [share_ebook] Douglas Robert Stinson - Cryptography: Theory and Practice (3rd Edition)
8. [share_ebook] Anthropology and International Health (Theory and Practice in Medical Anthropology and Internationa)
9. [share_ebook] Functional integration theory and applications
10. [share_ebook] Handbook of Solvency for Actuaries and Risk Managers: Theory and Practice (Chapman & Hall/Crc Finance Series)
11. [share_ebook] Handbook of Solvency for Actuaries and Risk Managers: Theory and Practice (Chapman & Hall/Crc Finance Series)
12. [share_ebook] Gould Antibiotic Policies Theory and Practice
13. Verification: Theory and Practice (Repost)
14. The Well-Cemented Total Hip Arthroplasty - Theory and Practice
15. [share_ebook] The Management of Consumer Credit: Theory and Practice
16. [share_ebook] Game Design: Theory and Practice, 2nd Edition
17. [share_ebook] Handbook of Multisensor Data Fusion: Theory and Practice, Second Edition (Electrical Engineering and Applied Signal Processing)
18. Understanding Risk: The Theory and Practice of Financial Risk Management [Repost]
19. [share_ebook] The Technique of Film and Video Editing, Fourth Edition: History, Theory, and Practice (4th edition)
20. [MULTI] Modern Organizations Theory and Practice, Second Edition - Jiwang WareZ Scene
21. Ancient Astrology Theory and Practice: Matheseos Libri VIII

"Verification: Theory and Practice" 没有评论.

• Download Thousands of Books!
• Download millions of Usenet resources!

1. 艺术设计
2. 有声读物
3. 语言文化
4. 家庭生活
5. 法律
6. 音乐歌词
7. 软件相关
8. BT种子
9. 其它图书
10. 所有留言
12. 留言评论
13. Download Thousands of Books two weeks for FREE!
14. Download millions of Usenet resources!
15. Exam1Pass-Latest IT Certification Study Guide for IT Exams
16. Meetexams
17. 640-802
18. Needking
19. Passshope
20. 海淀驾校

• 推荐到 StumbleUpon!
• del.icio.us
• Google书签
•