Formal Methods, Informally
How to Write Programs That Work
E-bok
PDF, Engelska, 2026657 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Fler format och utgåvor
Produktinformation
Utforska 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
666 kr
Science of Quantitative Information Flow
Geoffrey Smith, Catuscia Palamidessi, Carroll Morgan, Annabelle McIver, Konstantinos Chatzikokolakis, Mario S. Alvim
E-bok
2020903 kr
Hoppa över listan
Du kanske också är intresserad av
Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Inbunden, 2020
666 kr