|
|
|
|
|
1 - 10 von 114 |
|
|
Ihre Aktion |
suchen [und] sys inf 426.5
|
|
|
|
|
|
1. |
Context-free languages and primitive words / Dömösi, Pál. - Singapore [u.a.] : World Scientific, c 2015
|
|
|
|
2. |
The deductive spreadsheet / Cervesato, Iliano. - Berlin : Springer, 2013
|
|
|
|
3. |
Non-axiomatic logic : a model of intelligent reasoning / Wang, Pei, 1958-. - Singapore [u.a.] : World Scientific, 2013
|
|
|
|
4. |
Programming with higher-order logic / Miller, Dale *1956-*. - 1. publ. - Cambridge [u.a.] : Cambridge University Press, 2012
|
|
|
|
5. |
Verification of sequential and concurrent programs / Apt, Krzysztof R. *1949-*. - 3., extended ed. - New York : Springer, 2009
|
|
|
|
6. |
A concise introduction to languages and machines / Parkes, Alan P. *1955-*. - London : Springer, 2008
|
|
|
|
7. |
Logic in computer science : modelling and reasoning about systems / Huth, Michael *1962-*. - 2. ed., 4. print. - Cambridge [u.a.] : Cambridge University Press, 2008
|
|
|
|
8. |
25 years of model checking : history, achievements, perspectives ; [papers based on talks at the Symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006), held in Seattle, WA, USA, in August 2006] / Grumberg, Orna. - Berlin : Springer, 2008
|
|
|
|
9. |
Principles of model checking / Baier, Christel. - Cambridge, Massachusetts : The MIT Press, [2008]
|
|
|
|
10. |
Temporal logic and state systems / Kröger, Fred *1945-*. - Berlin : Springer, 2008
|
|
|
|
|
|
|
1 - 10 von 114 |
|
Wort |
|
Typ |
|
Anzahl |
|
inf 426.5 |
|
[SYS] Systematiken |
|
342 |
|
|
|
|
|
|
|
1 - 10 von 114 |
|
|