Showing 1 - 2
of 2
for search: '',
query time: 0.03s
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 software Verification
Author: Margaria-Steffen, Tiziana, 1964-
Institution
Collection
Format
Subject
Computer software Verification
Logic, Symbolic and mathematical
2
Software engineering
1
Artificial intelligence
1
Computer architecture
1
Computer science
more ...
1
Computers, Special purpose
1
Formal languages
1
Formal methods (Computer science)
1
System analysis
1
System design
see all ...
less ...
Author
Language
Literary Form
Call Number
Year of Publication