Formal Methods – The Next 30 Years
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Häftad
557 kr
Abstraction, Refinement and Proof for Probabilistic Systems
AvAnnabelle McIver,Charles Carroll Morgan
Häftad, Engelska, 2010
Del i serien Monographs in Computer Science
1 608 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
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 of research in the area of 'quantitative' program logics.
Produktinformation
Utforska kategorier
Innehållsförteckning
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
647 kr
Del 11024
Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Häftad
557 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
1 106 kr
High Performance Discovery In Time Series
Donna Ryan, New York University Courant Inst. Mathematical Sciences, Donna Ryan
Inbunden
1 059 kr
Evolutionary Synthesis of Pattern Recognition Systems
Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec
Inbunden
1 656 kr
Numerical Geometry of Non-Rigid Shapes
Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel
Inbunden
1 171 kr
Hoppa över listan
Du kanske också är intresserad av
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
Inbunden
1 608 kr
Del 11024
Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Häftad
557 kr
Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Inbunden
647 kr
Formal Methods – The Next 30 Years
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Häftad
557 kr
- Signerad!
Del 3
- Nyhet
Del 2
- Nyhet
- Nyhet