Showing
1 - 1
results of
1
for search '
Schmitt, Peter H.
'
Skip to content
Toggle navigation
SEAL
Language
English
Malay
中文(简体)
தமிழ்
اللغة العربية
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Accession No
Control No
Find
Advanced
Author
Schmitt, Peter H.
Showing
1 - 1
results of
1
for search '
Schmitt, Peter H.
', query time: 0.82s
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
List
Grid
1
Deductive Software Verification – The KeY Book From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbri...
Published 2016
Other Authors:
';
“
...
Schmitt
,
Peter
H
....
”
Call Number:
Loading...
Located:
Loading...
Get full text
Show QR Code
Search Tools:
Get RSS Feed
—
Email this Search
Related Subjects
Artificial Intelligence
Artificial intelligence
Computer logic
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Software Engineering
Software engineering
×
Loading...
