Showing 1 - 2 of 2 for search: 'Schmitt, P. H. 1948-', query time: 0.04s
Published: Springer, 2007
Description: 1 online resource (xxix, 658 pages) : illustrations.
eBook
Save to List
Cover Image
Published: Springer, 2016
Description: 1 online resource (XXXII, 702 pages) : illustrations.
eBook
Save to List
Cover Image

In Prospector

Request items from other Prospector libraries to be delivered to your local library for pickup.
Search Tools: Get RSS Feed — Email this Search — Save Search

Related Subjects

Computer programs Verification Computer software Verification Artificial intelligence Computer logic Computer science Electronic data processing Java (Computer program language) Logic, Symbolic and mathematical Object-oriented methods (Computer science) Programming languages (Electronic computers) Software engineering