Showing 1 - 4
of 4
for search: '"Software engineering"',
query time: 0.14s
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 software Verification
Institution
Collection
Format
Subject
Artificial intelligence
Computer logic
Computer software Verification
4
Software engineering
3
Logic, Symbolic and mathematical
3
Programming languages (Electronic computers)
more ...
2
Computer programs Verification
2
Computer science
1
Algorithms
1
Computer networks
1
Computer software Testing
1
Electronic data processing
1
Formal methods (Computer science)
1
Software architecture
see all ...
less ...
Author
4
SpringerLink (Online service)
2
Ahrendt, Wolfgang,
2
Beckert, Bernhard,
2
Bubel, Richard,
2
Hähnle, Reiner,
2
Ulbrich, Mattias,
more ...
1
Arbel, Eli,
1
Bloem, Roderick P.,
1
Deshmukh, Jyotirmoy,
1
International Haifa Verification Conference
1
International Haifa Verification Conference Haifa, Israel)
1
Ničković, Dejan,
1
RV (Conference)
1
RV (Conference) Online)
1
Schmitt, P. H. 1948-
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication