Showing 1 - 20
of 74
for search: '"Engineering."',
query time: 0.16s
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
73
Software engineering
34
Formal methods (Computer science)
19
Computer software Testing
14
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 programs Validation
1
Computer science Mathematics
1
Computer software Development
1
Computer software Validation
see all ...
less ...
Author
74
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
Drechsler, Rolf,
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,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication