Autor: Charles Carroll Morgan

Soporte

2 Ebooks de Charles Carroll Morgan

Portada de 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
Portada de 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.78