Showing 1 - 20
of 39
for search: '"Science."',
query time: 0.24s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Computer software Verification
Software engineering
34
Formal methods (Computer science)
13
Computer programs Verification
11
Computer programs Reliability
11
Computer software Reliability
more ...
8
Logic, Symbolic and mathematical
7
Computer science
7
Software architecture
6
Computer hardware description languages
5
Artificial intelligence
5
Computer logic
4
Programming languages (Electronic computers)
2
Computer programming
2
Computer simulation
2
Computers
2
Computers, Special purpose
2
Formal languages
2
Machine learning
2
System analysis
1
Algorithms
1
Computation by Abstract Devices
1
Computer architecture
1
Computer multitasking
1
Computer networks
1
Computer science Mathematics
1
Computer software Testing
1
Database management
1
Electronic data processing
1
Fault-tolerant computing
see all ...
less ...
Author
39
SpringerLink (Online service)
11
International Workshop on Formal Methods for Industrial Critical Systems
9
ISoLA (Symposium)
9
Margaria-Steffen, Tiziana, 1964-
6
Steffen, Bernhard,
5
FDL (Conference)
more ...
5
ISoLA (Symposium) Rhodes, Greece)
3
ISoLA (Symposium) Online)
3
International Conference on Formal Engineering Methods
2
FDL (Conference) Paris, France)
2
International Workshop on Automated Verification of Critical Systems
2
Kaźmierski, Thomas J.
2
Steffen, Bernhard
1
Ahrendt, Wolfgang,
1
Aoki, Toshiaki
1
Arbel, Eli,
1
Barnat, Jiří,
1
Beckert, Bernhard,
1
Beek, Maurice H. ter
1
Beek, Maurice H. ter,
1
Bloem, Roderick P.,
1
Brim, Lubǒs
1
Bubel, Richard,
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
Cavalcanti, Ana,
1
Cofer, Darren
1
De Nicola, Rocco
1
Degano, Pierpaolo, 1950-
1
Deshmukh, Jyotirmoy,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication