Ergebnisse für: Invariant-Checking

Hier findest Du Bücher, die sich mit Invariant-Checking beschäftigen.

Buch Cover Inductive invariant checking with partial negative application conditions

Universitätsverlag Potsdam
0 € · Paperback
...
Buch Cover k-Inductive Invariant Checking for Graph Transformation Systems

Universitätsverlag Potsdam
0 € · Paperback
...
Buch Cover Automatic verification of behavior preservation at the transformation level for relational model transformation

Universitätsverlag Potsdam
0 € · Paperback
...

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden