The following text field will produce suggestions that follow it as you type.

Popular Categories

Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters

Compare Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters

Annabelle Mciver

$248.50

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. | Abstraction Refinement And Proof For Probabilistic Systems by Annabelle Mciver, Hardcover | Indigo Chapters

Loading....
View Village Green Shopping Centre within Vernon, British Columbia

Compare similar products to Annabelle Mciver

Thinking Probabilistically by Ariel Amir, Hardcover | Indigo Chapters
Loading Inventory...

Thinking Probabilistically by Ariel Amir, Hardcover | Indigo Chapters

Coles

Current price: $160.95
Foundations Of Probabilistic Programming by Gilles Barthe, Hardcover | Indigo Chapters
Loading Inventory...

Foundations Of Probabilistic Programming by Gilles Barthe, Hardcover | Indigo Chapters

Coles

Current price: $82.95
An Introduction to Probabilistic Modeling by Pierre Bremaud, Hardcover | Indigo Chapters
Loading Inventory...

An Introduction to Probabilistic Modeling by Pierre Bremaud, Hardcover | Indigo Chapters

Coles

Current price: $131.50
Thinking Probabilistically by Ariel Amir, Paperback | Indigo Chapters
Loading Inventory...

Thinking Probabilistically by Ariel Amir, Paperback | Indigo Chapters

Coles

Current price: $63.95
An Introduction To Probabilistic Number Theory by Emmanuel Kowalski, Hardcover | Indigo Chapters
Loading Inventory...

An Introduction To Probabilistic Number Theory by Emmanuel Kowalski, Hardcover | Indigo Chapters

Coles

Current price: $56.95
The Science of Proof by E. Claire Cage, Hardcover | Indigo Chapters
Loading Inventory...

The Science of Proof by E. Claire Cage, Hardcover | Indigo Chapters

Coles

Current price: $126.95
An Introduction To Proof Theory by Paolo Mancosu, Hardcover | Indigo Chapters
Loading Inventory...

An Introduction To Proof Theory by Paolo Mancosu, Hardcover | Indigo Chapters

Coles

Current price: $115.50
An Introduction To Proof Theory by Paolo Mancosu, Paperback | Indigo Chapters
Loading Inventory...

An Introduction To Proof Theory by Paolo Mancosu, Paperback | Indigo Chapters

Coles

Current price: $50.70
Basic Proof Theory by A. S. Troelstra, Paperback | Indigo Chapters
Loading Inventory...

Basic Proof Theory by A. S. Troelstra, Paperback | Indigo Chapters

Coles

Current price: $70.95
Probabilistic Modelling by Isi Mitrani, Hardcover | Indigo Chapters
Loading Inventory...

Probabilistic Modelling by Isi Mitrani, Hardcover | Indigo Chapters

Coles

Current price: $178.95
Partial Differential Equations for Probabilists by Daniel W. Stroock, Hardcover | Indigo Chapters
Loading Inventory...

Partial Differential Equations for Probabilists by Daniel W. Stroock, Hardcover | Indigo Chapters

Coles

Current price: $84.95
An Introduction to Proof through Real Analysis by Daniel J. Madden, Hardcover | Indigo Chapters
Loading Inventory...

An Introduction to Proof through Real Analysis by Daniel J. Madden, Hardcover | Indigo Chapters

Coles

Current price: $137.95
Logical Foundations of Proof Complexity by Stephen Cook, Hardcover | Indigo Chapters
Loading Inventory...

Logical Foundations of Proof Complexity by Stephen Cook, Hardcover | Indigo Chapters

Coles

Current price: $149.95
Powered by Adeptmind