Verification, Induction, Termination Analysis
Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Buch in deiner Nähe kaufen
oder
Beschreibung
Fast track proceedings Unique visibility State of the art research
Autor*in
Simon Siegler
Themen in »Verification, Induction, Termination Analysis«
Bell-La Padula Java change management chinese wall dynamic rippling first-order logic higher-order automata inducti modal logic modeling programming proving rder programs security verification
Stimmen zu »Verification, Induction, Termination Analysis«
Details
ISBN: 9783642171727
Verlag: Springer Berlin
Erscheinung: 31.10.2010