Showing 1 - 20
of 73
for search: '"Software engineering"',
query time: 0.26s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Computer software Verification
Institution
Collection
Format
Subject
Computer software Verification
73
Software engineering
34
Formal methods (Computer science)
19
Computer software Testing
13
Computer programs Verification
11
Computer programs Reliability
more ...
11
Computer software Reliability
8
Logic, Symbolic and mathematical
7
Computer science
7
Software architecture
6
Artificial intelligence
6
Computer hardware description languages
6
Computer logic
5
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 Development
1
Database management
1
Electronic data processing
see all ...
less ...
Author
73
SpringerLink (Online service)
11
International Workshop on Formal Methods for Industrial Critical Systems
10
International SPIN Workshop
10
VMCAI (Conference)
9
ISoLA (Symposium)
9
Margaria-Steffen, Tiziana, 1964-
more ...
9
TAP (Conference)
6
STAF (Federation of conferences)
6
Steffen, Bernhard,
5
FDL (Conference)
5
ISoLA (Symposium) Rhodes, Greece)
3
ISoLA (Symposium) Online)
3
International Conference on Formal Engineering Methods
2
Ahrendt, Wolfgang,
2
Beckert, Bernhard,
2
Beyer, Dirk, 1972-
2
Bubel, Richard,
2
ETAPS (Conference)
2
FDL (Conference) Paris, France)
2
Hähnle, Reiner,
2
International SPIN Workshop Online)
2
International Workshop on Automated Verification of Critical Systems
2
Kaźmierski, Thomas J.
2
Larsen, K. G. 1957-
2
Legay, Axel,
2
Meyer, Bertrand, 1950-
2
Nordio, Martin
2
Steffen, Bernhard
2
Ulbrich, Mattias,
1
Ahrendt, Wolfgang
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication