Charles Carroll Morgan – författare
Visar alla böcker från författaren Charles Carroll Morgan. Handla med fri frakt och snabb leverans.
5 produkter
Abstraction, Refinement and Proof for Probabilistic Systems
Av Charles Carroll Morgan, Annabelle McIver
E-bok, 2005
2065 kr
Lägg i varukorg
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a …
Abstraction, Refinement and Proof for Probabilistic Systems
Av Annabelle McIver, Charles Carroll Morgan
Inbunden, 2004
1643 kr
Lägg i varukorg
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a …
Abstraction, Refinement and Proof for Probabilistic Systems
Av Annabelle McIver, Charles Carroll Morgan
Häftad, 2010
1643 kr
Lägg i varukorg
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a …
Theoretical Aspects of Computing - ICTAC 2009
6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
Av Martin Leucker, Charles Carroll Morgan
Häftad, 2009
569 kr
Lägg i varukorg
ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18–20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan Malaysia. The ICTAC series was founded by the International Institute for Software Technology of the …
Theoretical Aspects of Computing - ICTAC 2009
6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
Av Charles Carroll Morgan, Martin Leucker
E-bok, 2009
755 kr
Lägg i varukorg
ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18–20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan Malaysia. The ICTAC series was founded by the International Institute for Software Technology of the …
