Showing 1 - 20
of 22
for search: '"Computer software"',
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
Author: Margaria-Steffen, Tiziana, 1964-
Institution
Collection
Format
Subject
21
Computer software Verification
19
Formal methods (Computer science)
9
Software engineering
8
Machine learning
8
Robots Programming
2
Computer software Validation
more ...
2
Logic, Symbolic and mathematical
2
System analysis
2
System design
1
Artificial intelligence
1
Blockchains (Databases)
1
Commerce
1
Computer architecture
1
Computer science
1
Computer software Development Management
1
Computer software industry
1
Computers, Special purpose
1
Formal languages
1
Software engineering Management
see all ...
less ...
Author
Margaria-Steffen, Tiziana, 1964-
22
SpringerLink (Online service)
19
ISoLA (Symposium)
15
Steffen, Bernhard,
5
ISoLA (Symposium) Rhodes, Greece)
4
ISoLA (Symposium) Kerkyra, Greece)
more ...
4
ISoLA (Symposium) Online)
4
Steffen, Bernhard
3
ISoLA (Symposium) Limassol, Cyprus)
2
ETAPS (Conference)
2
ISoLA (Symposium) Ērakleion, Greece)
2
Legay, Axel,
2
TACAS (Conference)
2
TACAS (Conference) Uppsala, Sweden)
1
Herzwurm, Georg,
1
ICSOB (Conference)
1
ICSOB (Conference) Potsdam, Germany)
1
ISoLA (Symposium) Limassol, Cyprus),
see all ...
less ...
Language
Literary Form
Year of Publication