Showing 1 - 20
of 102
for search: '"Science."',
query time: 0.23s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Formal methods (Computer science)
Software engineering
34
Computer software Verification
15
Computer programs Verification
12
Computer programs Reliability
11
Computer software Reliability
more ...
7
Artificial intelligence
7
Computer science
6
Computer hardware description languages
6
Logic, Symbolic and mathematical
6
Software architecture
5
Computer logic
4
Component software
4
Computer programming
3
Computer simulation
3
Programming languages (Electronic computers)
2
Computer science Mathematics
2
Computers
2
Computers, Special purpose
2
Information theory
2
Machine learning
1
Algorithms
1
Automatic control
1
Computation by Abstract Devices
1
Computer architecture
1
Computer organization
1
Computer software Development
1
Computer software Testing
1
Computer systems
1
Database management
see all ...
less ...
Author
102
SpringerLink (Online service)
20
International Conference on Software Engineering and Formal Methods
17
International Workshop on Formal Methods for Industrial Critical Systems
16
International Conference on Formal Engineering Methods
9
ISoLA (Symposium)
8
Margaria-Steffen, Tiziana, 1964-
more ...
6
Steffen, Bernhard,
5
FDL (Conference)
5
ISoLA (Symposium) Rhodes, Greece)
5
International Conference on Integrated Formal Methods
4
FACS (Symposium)
4
Salaün, G.
3
Calinescu, Radu C., 1968-
3
CoSim-CPS (Workshop)
3
ISoLA (Symposium) Online)
3
International Conference on Software Engineering and Formal Methods Online)
3
Liu, Zhiming, 1961-
3
SETTA (Symposium)
2
ASYDE (Workshop)
2
Araki, Keijirō, 1954-
2
Arbab, F.
2
Beek, Maurice H. ter,
2
CIFMA (Workshop)
2
Cerone, Antonio
2
DataMod (Symposium)
2
Duan, Zhenhua,
2
FACS (Symposium) Online)
2
FDL (Conference) Paris, France)
2
FMCO (Symposium)
2
FMCO (Symposium) Bertinoro, Italy)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication