Showing 1 - 20
of 25
for search: '"System design"',
query time: 0.23s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
System analysis
System design
19
Computer software Verification
3
Computer systems
2
Computer software Development
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
25
SpringerLink (Online service)
TACAS (Conference)
24
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