1-<Spin Model Checker, The Primer and Reference Manual>

版權(quán)

為了區(qū)分商品恶阴,很多名稱被制造商和銷售商聲明為商標(biāo)。如果這些名稱出現(xiàn)在本書(shū)中焦匈,并且Addison-Wesley出版社意識(shí)到這是一個(gè)商標(biāo)聲明,則該名稱首字母大寫或全部大寫昵仅。

作者和出版商在編寫本書(shū)時(shí)已經(jīng)小心謹(jǐn)慎累魔,但不作任何明示或暗示的保證够滑,對(duì)錯(cuò)誤或遺漏不承擔(dān)任何責(zé)任。對(duì)于因使用本書(shū)包含的信息或程序而產(chǎn)生的偶然或間接損失彰触,我們不承擔(dān)任何責(zé)任。

在訂購(gòu)按照數(shù)量進(jìn)行特價(jià)銷售時(shí)况毅,出版商提供這本書(shū)的折扣。 獲取更多資訊么鹤,請(qǐng)聯(lián)系:

U.S. Corporate and Government Sales: (800) 382-3419
corpsales@pearsontechgroup.com

如需在美國(guó)境外銷售味廊,請(qǐng)聯(lián)系:

International Sales: (317) 581-3793
international@pearsontechgroup.com

訪問(wèn)Addison-Wesley出版社的網(wǎng)站:awprofessional.com

美國(guó)國(guó)會(huì)圖書(shū)館編目出版數(shù)據(jù)

Holzmann, Gerard J.
The Spin model checker: primer and reference manual / Gerard J. Holzmannp. cm
Includes bibliographical references and index.
ISBN 0-321-22862-6
1.Systems engineering––Mathematical models. 2.Computer programs––Testing. I. Title.
TA168.H65 2003
620'.001'171––dc22
2003057704
CIP

Copyright ? 2004 Lucent Technologies Inc., Bell Laboratories.

保留所有權(quán)利。未經(jīng)出版商事先同意柠新,不得以任何形式或通過(guò)任何手段(電子,機(jī)械登颓,影印红氯,錄制或其他方式)復(fù)制,存儲(chǔ)在檢索系統(tǒng)中或傳播本出版物的任何部分痢甘。本書(shū)在美國(guó)影印。 同時(shí)在加拿大出版塞栅。

本書(shū)由作者編寫,設(shè)計(jì)和排版作烟,同時(shí)隸屬于貝爾實(shí)驗(yàn)室的計(jì)算科學(xué)研究中心砾医。他目前隸屬于美國(guó)宇航局噴氣推進(jìn)實(shí)驗(yàn)室/加州理工學(xué)院的可靠軟件實(shí)驗(yàn)室拿撩。

有關(guān)獲得使用此作品中材料的許可的信息如蚜,請(qǐng)?zhí)峤徽?qǐng)求:

Pearson Education, Inc.
Rights and Contracts Department
75 Arlington Street, Suite 300
Boston, MA 0211
Fax: (617) 848-7047

文字印在再生紙上

第一次印刷影暴,2003年9月

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
  • 序言:七十年代末探赫,一起剝皮案震驚了整個(gè)濱河市,隨后出現(xiàn)的幾起案子妆兑,更是在濱河造成了極大的恐慌毛仪,老刑警劉巖箭跳,帶你破解...
    沈念sama閱讀 211,743評(píng)論 6 492
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件,死亡現(xiàn)場(chǎng)離奇詭異借尿,居然都是意外死亡,警方通過(guò)查閱死者的電腦和手機(jī)路翻,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 90,296評(píng)論 3 385
  • 文/潘曉璐 我一進(jìn)店門茂契,熙熙樓的掌柜王于貴愁眉苦臉地迎上來(lái),“玉大人掉冶,你說(shuō)我怎么就攤上這事⊙嵝。” “怎么了?”我有些...
    開(kāi)封第一講書(shū)人閱讀 157,285評(píng)論 0 348
  • 文/不壞的土叔 我叫張陵璧亚,是天一觀的道長(zhǎng)讨韭。 經(jīng)常有香客問(wèn)我,道長(zhǎng)癣蟋,這世上最難降的妖魔是什么透硝? 我笑而不...
    開(kāi)封第一講書(shū)人閱讀 56,485評(píng)論 1 283
  • 正文 為了忘掉前任,我火速辦了婚禮疯搅,結(jié)果婚禮上濒生,老公的妹妹穿的比我還像新娘。我一直安慰自己秉撇,他們只是感情好甜攀,可當(dāng)我...
    茶點(diǎn)故事閱讀 65,581評(píng)論 6 386
  • 文/花漫 我一把揭開(kāi)白布秋泄。 她就那樣靜靜地躺著,像睡著了一般规阀。 火紅的嫁衣襯著肌膚如雪恒序。 梳的紋絲不亂的頭發(fā)上谁撼,一...
    開(kāi)封第一講書(shū)人閱讀 49,821評(píng)論 1 290
  • 那天歧胁,我揣著相機(jī)與錄音,去河邊找鬼厉碟。 笑死喊巍,一個(gè)胖子當(dāng)著我的面吹牛,可吹牛的內(nèi)容都是我干的箍鼓。 我是一名探鬼主播崭参,決...
    沈念sama閱讀 38,960評(píng)論 3 408
  • 文/蒼蘭香墨 我猛地睜開(kāi)眼,長(zhǎng)吁一口氣:“原來(lái)是場(chǎng)噩夢(mèng)啊……” “哼款咖!你這毒婦竟也來(lái)了何暮?” 一聲冷哼從身側(cè)響起,我...
    開(kāi)封第一講書(shū)人閱讀 37,719評(píng)論 0 266
  • 序言:老撾萬(wàn)榮一對(duì)情侶失蹤铐殃,失蹤者是張志新(化名)和其女友劉穎海洼,沒(méi)想到半個(gè)月后,有當(dāng)?shù)厝嗽跇?shù)林里發(fā)現(xiàn)了一具尸體富腊,經(jīng)...
    沈念sama閱讀 44,186評(píng)論 1 303
  • 正文 獨(dú)居荒郊野嶺守林人離奇死亡坏逢,尸身上長(zhǎng)有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 36,516評(píng)論 2 327
  • 正文 我和宋清朗相戀三年,在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了赘被。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片是整。...
    茶點(diǎn)故事閱讀 38,650評(píng)論 1 340
  • 序言:一個(gè)原本活蹦亂跳的男人離奇死亡,死狀恐怖帘腹,靈堂內(nèi)的尸體忽然破棺而出贰盗,到底是詐尸還是另有隱情,我是刑警寧澤阳欲,帶...
    沈念sama閱讀 34,329評(píng)論 4 330
  • 正文 年R本政府宣布舵盈,位于F島的核電站,受9級(jí)特大地震影響球化,放射性物質(zhì)發(fā)生泄漏秽晚。R本人自食惡果不足惜,卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 39,936評(píng)論 3 313
  • 文/蒙蒙 一筒愚、第九天 我趴在偏房一處隱蔽的房頂上張望赴蝇。 院中可真熱鬧,春花似錦巢掺、人聲如沸句伶。這莊子的主人今日做“春日...
    開(kāi)封第一講書(shū)人閱讀 30,757評(píng)論 0 21
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽(yáng)考余。三九已至先嬉,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間楚堤,已是汗流浹背疫蔓。 一陣腳步聲響...
    開(kāi)封第一講書(shū)人閱讀 31,991評(píng)論 1 266
  • 我被黑心中介騙來(lái)泰國(guó)打工, 沒(méi)想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留身冬,地道東北人衅胀。 一個(gè)月前我還...
    沈念sama閱讀 46,370評(píng)論 2 360
  • 正文 我出身青樓,卻偏偏與公主長(zhǎng)得像酥筝,于是被迫代替她去往敵國(guó)和親滚躯。 傳聞我的和親對(duì)象是個(gè)殘疾皇子,可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 43,527評(píng)論 2 349