HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Haykal Tej
Themen in »HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES«
CSP Formale Methoden Isabelle Prozessalgebra Theorembeweiser
Stimmen zu »HOL-CSP: MECHANISED FORMAL DEVELOPMENT OF CONCURRENT PROCESSES«
Details
ISBN: 9783832502874
Verlag: Logos Berlin
Erscheinung: 10.08.2003