Carroll Morgan grāmatas
Formal Methods, Informally: How to Write Programs That Work
-30% ar kodu BOOKS
Piegādātāja noliktavā
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
-30% ar kodu BOOKS
Piegādātāja noliktavā
The Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Geoffrey Smith, Carroll Morgan, Annabelle McIver, Catuscia Palamidessi
-30% ar kodu BOOKS
Piegādātāja noliktavā
The Fork-In-The-Road Indian Poetry Store
Phillip Carroll Carroll Morgan
-30% ar kodu BOOKS
Piegādātāja noliktavā
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
-30% ar kodu BOOKS
Piegādātāja noliktavā
Riding Out the Storm: 19th Century Chickasaw Governors
-30% ar kodu BOOKS
Piegādātāja noliktavā
Formal Methods, Informally: How to Write Programs That Work
-30% ar kodu BOOKS
Piegādātāja noliktavā
Formal Methods: Foundations and Applications 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
Adenilso Simao, Carroll Morgan
-30% ar kodu BOOKS
Piegādātāja noliktavā
