Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Go To Advanced Search
Options
Bibliographic level:
All records
Book
Serial
Analytic
Collection
Material type:
All records
一般圖書
套書區
本校碩士論文
他校碩士論文
電子書
大尺寸
本校博士論文
中小學教科書
他校博士論文
原美崙校區博士論文
參考書
教師指定參考書
縮印本報紙
本校出版品及教師著作
資訊檢索參考書不外借
東方語文期刊
西文期刊
日文期刊
大陸期刊
音樂光碟資料
多媒體及純文字光碟資料
DVD資料
VCD資料
錄影資料
書附磁片或光碟等
錄音資料
LD資料
微片
幻燈片
投影片
1樓兒童讀物
1樓兒童參考書不外借
國小教科書不外借
1樓兒童CD
1樓兒童CD-ROM
1樓兒童DVD
1樓兒童VCD
1樓兒童錄音帶
1樓兒童錄影帶
1樓兒童室玩具
館際借書證(21天)
館際借書證(30天)
複印資料
地圖資料
管制資料
待改至一般書庫_樂譜
專櫃陳覽
借2小時
鄉土教育資料不外借
圖書館學實習書不外借
圖書館會議資料不外借
圖書館行政用書不外借
館內設備(耳機/微縮鏡頭/遙控器)
場地鑰匙(聆賞室/討論室)
研究小間鑰匙
臨時研究小間鑰匙
1樓教具
工具
數位相機
DV攝影機
佈展桌布
雨傘
吳兆棠博士贈書
樂譜區_套譜
English Corner
BD資料(藍光)
電子期刊
楊牧書房
單機版資料庫
王禎和
韋政通
鄭清茂
點字書
方銘健
李元貞
李忠男
林富士
許學仁
林道生
Only with items
Refine search
Associated Subjects
10
20
50
Relevance (Z-A)
Relevance (A-Z)
Subjects (Z-A)
Subjects (A-Z)
All Titles (Z-A)
All Titles (A-Z)
All Authors (Z-A)
All Authors (A-Z)
Place of publication (Z-A)
Place of publication (A-Z)
Year of publication (Z-A)
Year of publication (A-Z)
ISBN/ISSN (Z-A)
ISBN/ISSN (A-Z)
Person name (Z-A)
Person name (A-Z)
Language (Z-A)
Language (A-Z)
RID (Z-A)
RID (A-Z)
Series (Z-A)
Series (A-Z)
Proper title (Z-A)
Proper title (A-Z)
Edition Statement (Z-A)
Edition Statement (A-Z)
ISBN (Z-A)
ISBN (A-Z)
ISSN (Z-A)
ISSN (A-Z)
Content Notes (Z-A)
Content Notes (A-Z)
Publisher (Z-A)
Publisher (A-Z)
Rating (Z-A)
Rating (A-Z)
Search result for
[ subject:"Computer software- Verification."]
39 records (0.022s)
·
Page 1 of 2
•
1
2
1
.
Verification: theory and practice = ...
~
Dershowitz, Nachum.
Linked to FindBook
Google Book
Amazon
博客來
Verification: theory and practice = essays delivered to Zohar Manna on the occasion of his 64th birthday /
by:
Dershowitz, Nachum.; Manna, Zohar.; SpringerLink (Online service)
Language materials, printed
: Monograph/item
Publisher:
Photo SCALA, Florence,
Place of Publication:
Berlin ;
Year of Publication:
2004
ISBN:
9783540210023
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
2
.
Modular compiler verification = a re...
~
SpringerLink (Online service)
Linked to FindBook
Google Book
Amazon
博客來
Modular compiler verification = a refinement-algebraic approach advocating stepwise abstraction /
by:
SpringerLink (Online service); Muller-Olm, Markus.
Language materials, printed
: Monograph/item
Publisher:
Springer,
Place of Publication:
New York :
Year of Publication:
1997
ISBN:
9783540634065
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
3
.
Linked to FindBook
Google Book
Amazon
博客來
Principles of model checking
by:
Baier, Christel.; Katoen, Joost-Pieter.; NetLibrary, Inc.
Electronic resources
: Monograph/item
Publisher:
The MIT Press,
Place of Publication:
Cambridge, Mass. :
Year of Publication:
2008
ISBN:
1435643275; 9781435643277
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
4
.
Dependable software systems engineering
~
Irlbeck, Maximilian,
Linked to FindBook
Google Book
Amazon
博客來
Dependable software systems engineering
by:
Irlbeck, Maximilian,; Peled, Doron,; Pretschner, Alexander,
Electronic resources
: Monograph/item
Publisher:
IOS Press,
Place of Publication:
Amsterdam :
Year of Publication:
2015
ISBN:
9781614994947; 9781614994954
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
5
.
Introducing software verification wi...
~
Sitnikovski, Boro.
Linked to FindBook
Google Book
Amazon
博客來
Introducing software verification with Dafny language = proving program correctness /
by:
Sitnikovski, Boro.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Apress :; Imprint: Apress,
Place of Publication:
Berkeley, CA :
Year of Publication:
2022
ISBN:
9781484279779; 9781484279786
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
6
.
Concise guide to software verificati...
~
Huisman, Marieke.
Linked to FindBook
Google Book
Amazon
博客來
Concise guide to software verification = from model checking to annotation checking /
by:
Huisman, Marieke.; Wijs, Anton.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2023
ISBN:
9783031301667; 9783031301674
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
7
.
Linked to FindBook
Google Book
Amazon
博客來
Co-verification of hardware and software for ARM SoC design
by:
Andrews, Jason R.; NetLibrary, Inc.
Electronic resources
: Monograph/item
Publisher:
Elsevier Newnes,
Place of Publication:
Burlington, MA :
Year of Publication:
2005
ISBN:
141754435X
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
8
.
Verification of infinite-state syste...
~
Clarke, Edmund.
Linked to FindBook
Google Book
Amazon
博客來
Verification of infinite-state systems with applications to security
by:
Clarke, Edmund.; Minea, Marius.; �Tiplea, Ferucio Lauren�tiu; NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security ((2005 March 17-22 :)
Language materials, printed
: Monograph/item
Publisher:
IOS Press,
Place of Publication:
Washington, D.C. :
Year of Publication:
2006
ISBN:
1586035703; 9781586035709
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
9
.
Industrial used of formal method = f...
~
Boulanger, Jean-Louis.
Linked to FindBook
Google Book
Amazon
博客來
Industrial used of formal method = formal verification /
by:
Boulanger, Jean-Louis.
Electronic resources
: Monograph/item
Publisher:
Wiley,; ISTE ;
Place of Publication:
London :
Year of Publication:
2012
ISBN:
1118561821; 1299187072; 1848213638; 9781118561829; 9781299187078
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
10
.
Software verification and analysis =...
~
Stanley, William.
Linked to FindBook
Google Book
Amazon
博客來
Software verification and analysis = an integrated, hands-on approach /
by:
Stanley, William.; SpringerLink (Online service); Laski, Janusz.
Language materials, printed
: Monograph/item
Publisher:
Springer-Verlag London,
Place of Publication:
London :
Year of Publication:
2009
ISBN:
9781848822399; 9781848822405
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
11
.
Formal verification of Simulink/Stat...
~
Zhan, Naijun.
Linked to FindBook
Google Book
Amazon
博客來
Formal verification of Simulink/Stateflow diagrams = a deductive approach /
by:
Zhan, Naijun.; Wang, Shuling.; Zhao, Hengjun.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2017
ISBN:
9783319470146; 9783319470160
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
12
.
Software engineering = specification...
~
Alagic, Suad.
Linked to FindBook
Google Book
Amazon
博客來
Software engineering = specification, implementation, verification /
by:
Alagic, Suad.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2017
ISBN:
9783319615172; 9783319615189
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
13
.
Practical security properties on com...
~
Vasudevan, Amit.
Linked to FindBook
Google Book
Amazon
博客來
Practical security properties on commodity computing platforms = the uber extensible micro-hypervisor framework /
by:
Vasudevan, Amit.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2019
ISBN:
9783030250485; 9783030250492
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
14
.
Runtime verification = a hands-on ap...
~
Colombo, Christian.
Linked to FindBook
Google Book
Amazon
博客來
Runtime verification = a hands-on approach in Java /
by:
Colombo, Christian.; Pace, Gordon J.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer,; Springer International Publishing :
Place of Publication:
Cham :
Year of Publication:
2022
ISBN:
9783031092664; 9783031092688
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
15
.
Data flow analysis = theory and prac...
~
Khedker, Uday.
Linked to FindBook
Google Book
Amazon
博客來
Data flow analysis = theory and practice /
by:
Khedker, Uday.; Sanyal, Amitabha.; Karkare, Bageshri.
Electronic resources
: Monograph/item
Publisher:
CRC Press/Taylor & Francis,
Place of Publication:
Boca Raton, FL :
Year of Publication:
2009
ISBN:
0849328802; 0849332516; 9780849328800; 9780849332517
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
16
.
Challenges of software verification
~
Arceri, Vincenzo.
Linked to FindBook
Google Book
Amazon
博客來
Challenges of software verification
by:
Arceri, Vincenzo.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Springer Nature Singapore :; Imprint: Springer,
Place of Publication:
Singapore :
Year of Publication:
2023
ISBN:
9789811996009; 9789811996016
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
17
.
Test pattern generation using boolea...
~
Drechsler, Rolf.
Linked to FindBook
Google Book
Amazon
博客來
Test pattern generation using boolean proof engines
by:
Drechsler, Rolf.; SpringerLink (Online service)
Language materials, printed
: Monograph/item
Publisher:
Springer Netherlands,
Place of Publication:
Dordrecht :
Year of Publication:
2009
ISBN:
9789048123599; 9789048123605
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
18
.
Debugging at the electronic system level
~
Drechsler, Rolf.
Linked to FindBook
Google Book
Amazon
博客來
Debugging at the electronic system level
by:
Drechsler, Rolf.; SpringerLink (Online service); Rogin, Frank.
Language materials, printed
: Monograph/item
Publisher:
Springer Science+Business Media B.V.,
Place of Publication:
Dordrecht :
Year of Publication:
2010
ISBN:
9789048192540; 9789048192557
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
19
.
Rigorous software development = an i...
~
Almeida, Jose Bacelar.
Linked to FindBook
Google Book
Amazon
博客來
Rigorous software development = an introduction to program verification /
by:
Almeida, Jose Bacelar.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Publisher:
Springer-Verlag London Limited,
Place of Publication:
London :
Year of Publication:
2011
ISBN:
9780857290175; 9780857290182
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
20
.
Complete symbolic simulation of Syst...
~
Herdt, Vladimir.
Linked to FindBook
Google Book
Amazon
博客來
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
Herdt, Vladimir.; SpringerLink (Online service)
Electronic resources
: Monograph/item
Language:
英文
Publisher:
Imprint: Springer Vieweg,; Springer Fachmedien Wiesbaden :
Place of Publication:
Wiesbaden :
Year of Publication:
2016
ISBN:
9783658126797; 9783658126803
Availability
:
1 Copie(s) available
|
0 Copie(s) available for loan
based on 0 review(s)
Diacritics
Close
Diacritics
Close
貨幣
:
¥
£
₤
₣
₢
₡
₠
₥
₦
₧
₨
₩
₪
₫
€
數學符號
:
±
Ω
λ
β
α
θ
π
μ
≠
≤
≥
∑
日文
:
あ
い
う
え
お
か
き
く
け
こ
さ
し
す
せ
そ
た
ち
つ
て
と
な
に
ぬ
ね
の
は
ひ
ふ
へ
ほ
ま
み
む
め
も
や
ゆ
よ
ら
り
る
れ
ろ
わ
を
ん
が
ぎ
ぐ
げ
ご
ざ
じ
ず
ぜ
ぞ
だ
ぢ
づ
で
ど
ば
び
ぶ
べ
ぼ
ぱ
ぴ
ぷ
ぺ
ぽ
ア
イ
ウ
エ
オ
カ
キ
ク
ケ
コ
サ
シ
ス
セ
ソ
タ
チ
ツ
テ
ト
ナ
ニ
ヌ
ネ
ノ
ハ
ヒ
フ
ヘ
ホ
マ
ミ
ム
メ
モ
ヤ
ユ
ヨ
ラ
リ
ル
レ
ロ
ワ
ヲ
ン
ガ
ギ
グ
ゲ
ゴ
ザ
ジ
ズ
ゼ
ゾ
ダ
ヂ
ヅ
デ
ド
バ
ビ
ブ
ベ
ボ
パ
ピ
プ
ペ
ポ
羅馬數字
:
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
Save to Personal SDI
Export
pickup library
Processing
...
Change password
Login