Showing 1 - 11 results of 11
Refine Results
-
1
-
2
-
3
-
4EbookCall Number: Loading...
Located: Loading... -
5EbookCall Number: Loading...
Located: Loading... -
6EbookCall Number: Loading...
Located: Loading... -
7by Krimmer, Robert, Volkamer, Melanie, Beckert, Bernhard, Küsters, Ralf, Kulyk, Oksana, Solvak, Mihkel
Published 2020EbookCall Number: Loading...
Located: Loading... -
8Published 2020EbookCall Number: Loading...
Located: Loading... -
9Published 2022EbookCall Number: Loading...
Located: Loading... -
10Published 2019EbookCall Number: Loading...
Located: Loading... -
11Published 2016EbookCall Number: Loading...
Located: Loading...
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer software
Verification
Computer logic
Software engineering
Artificial intelligence
Electronic voting
Formal methods (Computer science)
Application software
Automatic theorem proving
Computer programs
Computer science
Electronic data processing
Java (Computer program language)
Logic, Symbolic and mathematical
Object-oriented methods (Computer science)
Object-oriented programming (Computer science)
Object-oriented programming languages
Programming languages (Electronic computers)
Quality control
Reliability
Software
Testing