Showing 1 - 20
of 96
for search: '"Computer software"',
query time: 0.27s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Formal methods (Computer science)
70
Computer software Verification
35
Software engineering
22
Computer software Testing
19
Computer software Development
14
Computer programs Verification
more ...
13
Computer software Reliability
11
Computer programs Reliability
11
Machine learning
10
Robots Programming
8
Computer science Mathematics
6
Computer hardware description languages
6
Computer science
6
Software architecture
5
Logic, Symbolic and mathematical
5
System design Mathematics
3
Artificial intelligence
3
Computer logic
3
Fault-tolerant computing
3
Programming languages (Electronic computers)
2
Computer programs
2
Computer software Validation
2
System analysis
2
System design
1
Algorithms
1
Aspect-oriented programming
1
Blockchains (Databases)
1
Computation by Abstract Devices
1
Computer architecture
1
Computer programming
see all ...
less ...
Author
94
SpringerLink (Online service)
21
ISoLA (Symposium)
19
Margaria-Steffen, Tiziana, 1964-
15
Steffen, Bernhard,
13
RV (Conference)
11
International Workshop on Formal Methods for Industrial Critical Systems
more ...
6
International Symposium of Formal Methods Europe
5
FDL (Conference)
5
ISoLA (Symposium) Kerkyra, Greece)
5
ISoLA (Symposium) Rhodes, Greece)
5
Steffen, Bernhard
5
WADT (Workshop)
4
ISoLA (Symposium) Online)
4
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
4
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy)
3
Bernardo, Marco,
3
ISoLA (Symposium) Limassol, Cyprus)
3
International Conference on Formal Engineering Methods
2
Bartocci, Ezio (Computer scientist),
2
Beckert, Bernhard
2
Butler, Michael, 1967-
2
FDL (Conference) Paris, France)
2
Falcone, Yliès,
2
FoVeOOS (Conference)
2
Hähnle, Reiner,
2
ISoLA (Symposium) Ērakleion, Greece)
2
International Workshop on Automated Verification of Critical Systems
2
Johnsen, Einar Broch,
2
Kaźmierski, Thomas J.
2
Nenzi, Laura
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication