FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
暫譯: FM 2006：形式方法：第十四屆國際形式方法研討會，哈密頓，加拿大，2006年8月21日至27日，會議論文集
Jayadev Misra, Tobias Nipkow, Emil Sekerinski
- 出版商: Springer
- 出版日期: 2006-08-10
- 售價: $4,510
- 貴賓價: 9.5 折 $4,285
- 語言: 英文
- 頁數: 620
- 裝訂: Paperback
- ISBN: 3540372156
- ISBN-13: 9783540372158
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
C++ Builder 6 程式設計快樂上手$590$590 -
Unix Systems Programming: Communication, Concurrency and Threads, 2/e (Hardcover)$3,360$3,192 -
演算法使用 C++ 虛擬碼 (Foundations of Algorithms Using C++ Pseudocode, 3/e)$680$537 -
Java Pitfalls 中文版 (Java Pitfalls)$500$395 -
Linux Mail Server 技術實務─架設、稽核、防毒、防垃圾信$580$458 -
工程電磁學 (Engineering Electromagnetics, 7/e)$650$618 -
Microsoft Visual C# 2008 精研講座$650$553 -
Microsoft ADO.NET 3.5 精研講座$850$723 -
聖殿祭司的 ASP.NET 2.0 專家技術手冊─使用 C#, 2/e$720$569 -
Head First 深入淺出 HTML、CSS 與 XHTML (Head First HTML with CSS & XHTML)$800$680 -
Microsoft LINQ 最佳實務講座$550$468 -
邏輯思考的技術$300$237 -
C 語法暨程式庫標準辭典 (C In A Nutshell: A Desktop Quick Reference)$680$537 -
$1,000Digital Signal Processing Using MATLAB, 2/e (IE) -
現代嵌入式系統開發專案實務－菜鳥成長日誌與專案經理的私房菜$600$480 -
Web Data Mining: Exploring Hyperlinks, Contents, and Usage Data 2/e(Hardcover)$2,490$2,366 -
CSS 設計點子爆米花$580$458 -
Flash CS3 ActionScript 3.0 打造互動網頁的力與美$480$408 -
最新詳解 JavaScript & HTML & CSS 語法辭典(增訂第三版)$490$382 -
Peopleware：腦力密集產業的人才管理之道 (Peopleware: Productive Projects and Teams, 2/e)$380$300 -
Fedora 8 Linux 架站實務$650$514 -
VBScript 500 個活用範例 Windows 自動化技術大全 for Vista/XP/2000$590$460 -
CCNA 認證教戰手冊 (CCNA: Cisco Certified Network Associate Study Guide (Exam 640-802), 6/e)$1,180$932 -
Java SE6 全方位學習$720$569 -
Mac 問題追緝令－Leopard、Tiger 全適用$420$332
相關主題
商品描述
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada in August 2006.
The 36 revised full papers presented together with 2 invited contributions and extended abstracts of 7 invited industrial presentations were carefully reviewed and selected from 145 submissions. The papers are organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, education, formal modelling of systems, formal aspects of java, model checking, and abstracts of invited talks from the industry day.
商品描述(中文翻譯)
本書呈現了第14屆國際正式方法研討會（FM 2006）的經過審核的會議論文集，該會議於2006年8月在加拿大漢密爾頓舉行。
這36篇經過修訂的完整論文，連同2篇邀請貢獻和7篇邀請的工業報告的擴展摘要，都是從145篇投稿中仔細審核和選出的。這些論文按主題分為互動驗證、系統的形式建模、即時性、工業經驗、規範與精煉、程式語言、代數、教育、系統的形式建模、Java的形式方面、模型檢查，以及來自工業日的邀請演講摘要等部分。
