Showing 1 - 5
of 5
for search: '',
query time: 0.05s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Logic, Symbolic and mathematical
Subject: Computer logic
Subject: Computer software Verification
Institution
Collection
Format
Subject
Computer logic
Computer software Verification
Logic, Symbolic and mathematical
5
Software engineering
4
Computer science
4
Programming languages (Electronic computers)
more ...
3
Artificial intelligence
3
Formal methods (Computer science)
2
Computer programs Verification
1
Algorithms
1
Computation by Abstract Devices
1
Computer networks
1
Computer programming
1
Computer simulation
1
Computer software Testing
1
Computers
1
Database management
1
Electronic data processing
1
Machine learning
1
Robots Programming
1
Software architecture
see all ...
less ...
Author
5
SpringerLink (Online service)
1
Ahrendt, Wolfgang,
1
Arbel, Eli,
1
Beckert, Bernhard,
1
Bloem, Roderick P.,
1
Bubel, Richard,
more ...
1
Deshmukh, Jyotirmoy,
1
Hähnle, Reiner,
1
ISoLA (Symposium)
1
ISoLA (Symposium) Kerkyra, Greece)
1
International Conference on Formal Engineering Methods
1
International Conference on Formal Engineering Methods Tokyo, Japan)
1
International Haifa Verification Conference
1
International Haifa Verification Conference Haifa, Israel)
1
Lamprecht, Anna-Lena,
1
Lawford, Mark,
1
Liu, Shaoying, 1960-
1
Ničković, Dejan,
1
Ogata, Kazuhiro,
1
RV (Conference)
1
RV (Conference) Online)
1
Schmitt, P. H. 1948-
1
Ulbrich, Mattias,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication