Formal Methods – The Next 30 Years
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Häftad, 2019
729 kr
Del i serien Monographs in Computer Science
Abstraction, Refinement and Proof for Probabilistic Systems
Häftad, Engelska, 2010
2 099 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
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 mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.
Produktinformation
- Utgivningsdatum2010-11-19
- Mått155 x 235 x 22 mm
- Vikt610 g
- FormatHäftad
- SpråkEngelska
- SerieMonographs in Computer Science
- Antal sidor388
- FörlagSpringer-Verlag New York Inc.
- ISBN9781441923127
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Inbunden, 2020
849 kr
Del 11024
Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Häftad, 2015
729 kr
Hoppa över listan
Mer från samma serie
Software Configuration Management Using Vesta
Clark Allan Heydon, Roy Levin, Timothy P. Mann, Yuan Yu
Inbunden, 2006
1 449 kr
High Performance Discovery In Time Series
Donna Ryan, New York University Courant Inst. Mathematical Sciences, Donna Ryan
Inbunden, 2004
1 389 kr
Evolutionary Synthesis of Pattern Recognition Systems
Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec
Inbunden, 2005
2 169 kr
Numerical Geometry of Non-Rigid Shapes
Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel
Inbunden, 2008
1 059 kr
Hoppa över listan
Du kanske också är intresserad av
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
Inbunden, 2004
2 109 kr
Theoretical Aspects of Computing - ICTAC 2009
Martin Leucker, Charles Carroll Morgan
Häftad, 2009
729 kr
Del 11024
Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Häftad, 2015
729 kr
Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Inbunden, 2020
849 kr
Formal Methods – The Next 30 Years
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Häftad, 2019
729 kr