Showing 1 - 11
of 11
for search: '"Computer science"',
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-
Language: English
Subject: Software engineering
Institution
Collection
Format
Subject
Software engineering
9
Computer software Verification
8
Formal methods (Computer science)
2
Computer science
2
Logic, Symbolic and mathematical
1
Artificial intelligence
more ...
1
Computer architecture
1
Computers, Special purpose
1
Formal languages
1
Service-oriented architecture (Computer science)
1
System analysis
1
System design
see all ...
less ...
Author
Margaria-Steffen, Tiziana, 1964-
11
SpringerLink (Online service)
8
ISoLA (Symposium)
7
Steffen, Bernhard,
5
ISoLA (Symposium) Rhodes, Greece)
3
ISoLA (Symposium) Online)
more ...
2
Steffen, Bernhard
1
Baier, Christel,
1
Bouguettaya, Athman
1
Brand, Mark van den,
1
ETAPS (Conference)
1
Eder, J. 1958-
1
Hinchey, Michael G. 1969-
1
ICSOC (Conference)
1
ICSOC (Conference) Sydney, N.S.W.)
1
Krüger, Ingolf H.
1
Legay, Axel,
1
SOFSEM (Conference)
1
SOFSEM (Conference) Limerick, Ireland)
1
TACAS (Conference)
1
TACAS (Conference) Uppsala, Sweden)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication