Formal Methods – The Next 30 Years
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Häftad
552 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 593 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
641 kr
Del 11024
Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Häftad
552 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 096 kr
High Performance Discovery In Time Series
Donna Ryan, New York University Courant Inst. Mathematical Sciences, Donna Ryan
Inbunden
1 049 kr
Evolutionary Synthesis of Pattern Recognition Systems
Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec
Inbunden
1 640 kr
Hoppa över listan
Du kanske också är intresserad av
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
Inbunden
1 593 kr
Del 11024
Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Häftad
552 kr
Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Inbunden
641 kr
Formal Methods – The Next 30 Years
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Häftad
552 kr
- Nyhet
- Signerad!
- -30%
- Signerad!
SIGNERAD - Där färgen får styra : En berättelse i akvarell
Maximilian Svensson, Linda Newnham
Inbunden
319 kr