Showing
41 - 44
results of
44
for search '
"Formal methods."
'
Skip to content
UPFind
書包:
0
items
(滿)
語言
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
全文檢索
題名
作者
主題
索引號
ISBN/ISSN
檢索
高級檢索
檢索結果 - "Formal methods."
Showing
41 - 44
results of
44
for search '
"Formal methods."
'
, 查詢時間: 0.13s
Refine Results
排序
相關性排序
Newest to Oldest
Oldest to Newest
作者排序
標題
Select Page
電子郵件
導出
打印
添加到書包
Select result number 41
41
Heuristic-guided counterexample search in FLAVERS.
由
Tan, Jianbin
發表在
Software engineering notes.
索引號:
loading...
位於:
loading...
Article
loading...
添加到書包
從書包裡刪除
Select result number 42
42
The exterminators [software bugs].
由
Ross, P.E
發表在
IEEE spectrum
索引號:
loading...
位於:
loading...
Article
loading...
添加到書包
從書包裡刪除
Select result number 43
43
The exterminators [software bugs].
由
Ross, P.E
發表在
IEEE spectrum
索引號:
loading...
位於:
loading...
Article
loading...
添加到書包
從書包裡刪除
Select result number 44
44
The exterminators [software bugs].
由
Ross, P.E
發表在
IEEE spectrum
索引號:
loading...
位於:
loading...
Article
loading...
添加到書包
從書包裡刪除
Select Page
電子郵件
導出
打印
添加到書包
[1]
前一個
1
2
3
4
5
檢索工具:
推薦此搜索
Back
Refine Results
Page will reload when a filter is selected or excluded.
CAMPUS
Diliman
31 results
31
Cebu
1 results
1
DATABASE
Union Catalog (Buklod)
44 results
44
UNIT LIBRARY
Diliman Main Library: Info. Services & Instruction Section
20 results
20
College of Engineering Library II
11 results
11
Lahug Library
1 results
1
YEAR OF PUBLICATION
來自:
到:
CLASSIFICATION
Q - Science
4 results
4
SUBJECT
Formal methods (Computer science)
31 results
31
Electronic books
28 results
28
Computer software
11 results
11
Software engineering
10 results
10
Verification
8 results
8
Computer hardware description languages
5 results
5
Software architecture
5 results
5
Artificial intelligence
2 results
2
Computer science
2 results
2
Distributed processing
2 results
2
Electronic data processing
2 results
2
Intelligent agents (Computer software)
2 results
2
Mathematics
2 results
2
Object-oriented methods (Computer science)
2 results
2
Reliability
2 results
2
System analysis
2 results
2
System design
2 results
2
Automatic control
1 results
1
Computational linguistics
1 results
1
Computer Communication Networks
1 results
1
Computer logic
1 results
1
Computer networks
1 results
1
Computer programs
1 results
1
Computer security
1 results
1
Computer security -- Congresses
1 results
1
Computer simulation
1 results
1
Computer software -- Development
1 results
1
Computer systems
1 results
1
Computers
1 results
1
Congresses
1 results
1
查看所有...
AUTHOR
SpringerLink (Online service)
25 results
25
FDL (Conference) Paris, France)
3 results
3
Ross, P.E
3 results
3
Dingel, Juergen
2 results
2
Dunin-Kȩplicz, Barbara
2 results
2
Simao, Adenilso
2 results
2
Verbrugge, Rineke
2 results
2
Wille, Robert
2 results
2
Agha, Gul
1 results
1
Alagar, Vangalur S. 1940-
1 results
1
Alexander, Michael 1970 Sept. 25-
1 results
1
Alur, Rajeev
1 results
1
Armando, Alessandro
1 results
1
Barthe, Gilles
1 results
1
Basin, David
1 results
1
Beckert, Bernhard
1 results
1
Bennett, Simon
1 results
1
Bernardo, Marco
1 results
1
Bobaru, Mihaela
1 results
1
Bravetti, Mario
1 results
1
Brazilian Symposium on Formal Methods Natal, Brazil
1 results
1
Brazilian Symposium on Formal Methods Sâo Paulo, Brazil
1 results
1
Bruni, Roberto
1 results
1
Bultan, Tevfik
1 results
1
Butler, Michael
1 results
1
Coen-Porisini, Alberto
1 results
1
DCFS 2011 Limburg, Germany
1 results
1
Danvy, Olivier
1 results
1
Davies, Jim
1 results
1
De Alfaro, Luca
1 results
1
查看所有...
RESOURCE TYPE
Electronic Resource
29 results
29
Article
12 results
12
圖書
3 results
3
LANGUAGE
English
44 results
44
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman