A Journey from Process Algebra via Timed Automata to Model Learning: Essays
69,33 €
Non-Finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. - Operational Causality. - Necessarily Sufficient and Sufficiently Necessary. - Axiomatizing consciousness, with applications.
Jetzt bei Ebay: