A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedi
66,97 €
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: