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