Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

McIver, Annabelle.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Abstraction, Refinement and Proof for Probabilistic Systems by: Morgan, Carroll.; SpringerLink (Online service); McIver, Annabelle. (Electronic resources)

Subjects

Programming Techniques. Computer Science. Programming Languages, Compilers, Interpreters. Systems engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Engineering mathematics. Probabilities.

Change password

Login