Showing 1 - 20
of 358
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: SpringerLink (Online service)
Call Number: Q - Science
Format: eBook
Institution: Colorado Mesa University
Language: English
Literary Form: Non fiction
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Formal methods (Computer science)
101
Software engineering
65
Computer software Verification
21
Computer science Mathematics
21
Computer simulation
21
Computer software Testing
more ...
20
Computer programs Verification
18
Computer software Development
18
Temporal automata
17
Logic, Symbolic and mathematical
16
Artificial intelligence
16
Component software
16
Electronic data processing Distributed processing
15
Formal languages
13
Computer logic
13
Computer software Reliability
13
Object-oriented methods (Computer science)
13
System analysis
12
Computer programs Reliability
12
Computer systems Evaluation
11
Computer science
10
Computer security
9
Computer network protocols
9
Machine theory
9
Object-oriented programming (Computer science)
8
Computer programming
8
System design
7
Computer systems
7
Computers Reliability
7
Machine learning
see all ...
less ...
Author
SpringerLink (Online service)
20
International Conference on Software Engineering and Formal Methods
17
FORMATS (Conference)
17
ISoLA (Symposium)
17
International Workshop on Formal Methods for Industrial Critical Systems
16
International Conference on Formal Engineering Methods
more ...
16
Margaria-Steffen, Tiziana, 1964-
15
International Symposium of Formal Methods Europe
14
RV (Conference)
13
Brazilian Symposium on Formal Methods
13
DCFS (Workshop)
13
International Conference on Integrated Formal Methods
12
EPEW (Workshop)
12
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
12
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy)
11
FACS (Symposium)
11
Liu, Shaoying, 1960-
11
Steffen, Bernhard,
10
International Federated Conferences on Distributed Computing Techniques
9
Duan, Zhenhua,
9
FMCO (Symposium)
9
NFM (Symposium)
9
SOFL+MSVL (Workshop)
9
Ölveczky, Peter Csaba,
8
International Conference on Formal Concept Analysis
7
Bernardo, Marco
7
Boer, Frank S. de
6
FORTE (Conference)
6
Steffen, Bernhard
5
Artho, Cyrille,
see all ...
less ...
Language
Genre
Literary Form
Era
Call Number
Year of Publication