Showing 1 - 3
of 3
for search: '"Software engineering"',
query time: 0.15s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Call Number: Q - Science
Subject: Artificial intelligence
Subject: Computer logic
Subject: Computer programs Verification
Institution
Collection
Format
Subject
Artificial intelligence
Computer logic
Computer programs Verification
3
Computer science
3
Software engineering
2
Computer software Verification
more ...
2
Logic, Symbolic and mathematical
2
Programming languages (Electronic computers)
1
Computer industry
1
Computer networks
1
Electronic data processing
1
Logic design
1
Software architecture
see all ...
less ...
Author
3
SpringerLink (Online service)
1
Ahrendt, Wolfgang,
1
Arbel, Eli,
1
Beckert, Bernhard,
1
Bloem, Roderick P.,
1
Bubel, Richard,
more ...
1
CAV (Conference)
1
CAV (Conference) New York, N.Y.)
1
Dillig, Isil,
1
Hähnle, Reiner,
1
International Haifa Verification Conference
1
International Haifa Verification Conference Haifa, Israel)
1
Schmitt, P. H. 1948-
1
Tasiran, Serdar,
1
Ulbrich, Mattias,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication