Autor: Charles Carroll Morgan

Apoio

2 Ebooks por Charles Carroll Morgan

Capa do Annabelle McIver & Charles Carroll Morgan: Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver & Charles Carroll Morgan: Abstraction, Refinement and Proof for Probabilistic Systems
…
PDF
Inglês
€149.79
Capa do Martin Leucker & Charles Carroll Morgan: Theoretical Aspects of Computing - ICTAC 2009
Martin Leucker & Charles Carroll Morgan: Theoretical Aspects of Computing – ICTAC 2009
Thisvolumecontainsthepaperspresentedat ICTAC2009:the6th International Colloquium on Theoretical Aspects of Computing held August 18-20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan …
PDF
Inglês
DRM
€57.71