|
7491 |
Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
|
|
|
7492 |
Verified proof carrying code Wildmoser, Martin, 2006
|
|
|
7493 |
Verified proof carrying code Wildmoser, Martin, 2006
|
|
|
7494 |
Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006
|
|
|
7495 |
Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
|
|
|
7496 |
Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006
|
|
|
7497 |
Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
7498 |
Verlässlichkeit in Campusnetzen Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006
|
|
|
7499 |
Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006
|
|
|
7500 |
Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
|
|