Verification, Induction, Termination Analysis
Festschrift for Christoph Walther on the Occasion of His 60th Birthday
| ISBN: | 9783642171710 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 145 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Siegler, Simon Wasser, Nathan |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 16.11.2010 |
| Untertitel: | Festschrift for Christoph Walther on the Occasion of His 60th Birthday |
| Schlagworte: | Bell-La Padula Java change management chinese wall dynamic rippling first-order logic higher-order automata inducti modal logic modeling |
Anmelden