Showing 1 - 20
of 27
for search: '"System design"',
query time: 0.26s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
27
System design
25
System analysis
19
Computer software Verification
4
Computer software Development
3
Computer systems
1
Artificial intelligence
more ...
1
Computer programs Validation
1
Computer science
1
Computer software Validation
1
Formal languages
1
Logic, Symbolic and mathematical
1
Software engineering
see all ...
less ...
Author
27
SpringerLink (Online service)
TACAS (Conference)
26
ETAPS (Conference)
3
Beyer, Dirk, 1972-
3
Huisman, Marieke,
3
TACAS (Conference) Prague, Czech Republic)
more ...
2
Biere, Armin,
2
Fisman, Dana
2
Groote, J. F. 1965-
2
Larsen, K. G. 1957-
2
Legay, Axel,
2
Margaria-Steffen, Tiziana, 1964-
2
Parker, David,
2
Roşu, Grigore
2
Sankaranarayanan, Sriram
2
Sharygina, Natasha
2
TACAS (Conference) Dublin, Ireland)
2
TACAS (Conference) Munich, Germany)
2
TACAS (Conference) Online)
2
TACAS (Conference) Paris, France)
2
TACAS (Conference) Thessalonikē, Greece)
2
TACAS (Conference) Uppsala, Sweden)
2
Vojnar, Tomáš,
2
Zhang, Lijun, 1979-
1
Abdulla, Parosh Aziz
1
Baier, Christel,
1
Chechik, Marsha,
1
Esparza, Javier
1
Flanagan, Cormac
1
Grumberg, Orna
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication