Showing
41 - 44
results of
44
for search '
"Computer software Verification"
'
Skip to content
UPFind
Book Bag:
0
items
(Full)
Language
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
हिंदी
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Search Results - "Computer software Verification"
Showing
41 - 44
results of
44
for search '
"Computer software Verification"
'
, query time: 0.02s
Refine Results
Sort
Relevance
Newest to Oldest
Oldest to Newest
Author
Title
Select Page
Email
Export
Print
Add to Book Bag
Select result number 41
41
Program verification
by
Francez, Nissim
Published 1992
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select result number 42
42
Independent verification and validation a life cycle engineering process for quality software
by
Lewis, Robert O. 1938-
Published 1992
Call Number:
loading...
Located:
loading...
Book
loading...
Add to Book Bag
Remove from Book Bag
Select result number 43
43
Rigorous Software Development An Introduction to Program Verification
by
Almeida, José Bacelar
Call Number:
loading...
Located:
loading...
Available for University of the Philippines System via SpringerLink. Click here to access
Electronic Resource
Add to Book Bag
Remove from Book Bag
Select result number 44
44
Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness
by
Asoy, Andrei Luz B.
Call Number:
loading...
Located:
loading...
Thesis
loading...
Add to Book Bag
Remove from Book Bag
Select Page
Email
Export
Print
Add to Book Bag
[1]
Prev
1
2
3
4
5
Search Tools:
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
CAMPUS
Diliman
41 results
41
Baguio
2 results
2
Tacloban
1 results
1
DATABASE
Union Catalog (Buklod)
44 results
44
UNIT LIBRARY
College of Engineering Library II
28 results
28
Diliman Main Library: Info. Services & Instruction Section
13 results
13
UP Baguio Main Library
2 results
2
School of Statistics
1 results
1
UP Tacloban Library
1 results
1
YEAR OF PUBLICATION
From:
To:
CLASSIFICATION
Q - Science
14 results
14
L - Education
1 results
1
M - Music
1 results
1
T - Technology
1 results
1
SUBJECT
Computer software
44 results
44
Verification
43 results
43
Electronic books
25 results
25
Formal methods (Computer science)
9 results
9
Software engineering
9 results
9
Software architecture
7 results
7
Validation
6 results
6
Computer hardware description languages
5 results
5
Reliability
4 results
4
System analysis
4 results
4
Computer programs
3 results
3
Computer systems
3 results
3
Development
3 results
3
Ada (Computer program language)
2 results
2
Computer input-output equipment
2 results
2
Electronic digital computers
2 results
2
Evaluation
2 results
2
Integrated circuits
2 results
2
Mathematical models
2 results
2
Modeling
2 results
2
Object-oriented methods (Computer science)
2 results
2
SysML (Computer science)
2 results
2
Systems engineering
2 results
2
Testing
2 results
2
Artificial intelligence
1 results
1
Automatic control
1 results
1
Automatic theorem proving
1 results
1
Compilers (Computer programs)
1 results
1
Congresses
1 results
1
Data flow computing
1 results
1
see all…
AUTHOR
SpringerLink (Online service)
19 results
19
ACM Special Interest Group on Programming Languages
3 results
3
Association for Computing Machinery. Special Interest Group on Computer Science Education
3 results
3
Association for Computing Machinery. Special Interest Group on Computers and Society
3 results
3
Association for Computing Machinery. Special Interest Group on Embedded Systems
3 results
3
Drechsler, Rolf
3 results
3
FDL (Conference) Paris, France)
3 results
3
Holt, Jon
3 results
3
SIGAPP
3 results
3
SIGAda
3 results
3
Wille, Robert
3 results
3
ACM Sigsoft
2 results
2
Dasso, Aristides 1943-
2 results
2
Funes, Ana 1964-
2 results
2
Perry, Simon
2 results
2
Ada-Europe International Conference on Reliable Software Technologies
1 results
1
Agha, Gul
1 results
1
Almeida, José Bacelar
1 results
1
Asoy, Andrei Luz B.
1 results
1
Baier, Christel
1 results
1
Barner, Sharon
1 results
1
Beckert, Bernhard
1 results
1
Bobaru, Mihaela
1 results
1
Bochmann, G. V.
1 results
1
Brownsword, Mike
1 results
1
Brykczynski, Bill
1 results
1
CAV (Conference) (4th : 1992 : Montreal, Canada)
1 results
1
CAV (Conference) (5th : 1993 : Elounda, Greece)
1 results
1
CAV (Conference) Snowbird, Utah)
1 results
1
Calinescu, Radu
1 results
1
see all…
RESOURCE TYPE
Electronic Resource
28 results
28
Book
15 results
15
Thesis
1 results
1
LANGUAGE
English
43 results
43
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman