автор: Charles Carroll Morgan

поддержка

2 Электронные книги Charles Carroll Morgan

Обложка 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
английский
€149.79
Обложка 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
английский
DRM
€57.78