Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Theoretical Aspects of Computing - ICTAC 2009
nidottu,
2009,
englanti,
ISBN 9783642034657
ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Aspects of Computing held August 18–20, 2009 in Kuala Lumpur, Malaysia, hosted by …
Abstraction, Refinement and Proof for Probabilistic Systems
nidottu,
2010,
englanti,
ISBN 9781441923127
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body …