Tác giả: Charles Carroll Morgan

Ủng hộ

2 Ebooks bởi Charles Carroll Morgan

Bìa của 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
Anh
€149.79
Bìa của 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
Anh
DRM
€57.71