005.1
McIver, Annabelle.
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / / by Annabelle McIver, Carroll Morgan. .- XX, 388 p. 63 illus.. online resource. ** Monographs in Computer Science, 0172-603X )
QA76.758 - Monographs in Computer Science, .
ISBN: 9780387270067
10.1007/b138392 doi
Subject Headings:
Computer science.;
Software engineering.;
Computer programming.;
Programming languages (Electronic computers).;
Computer logic.;
Mathematical logic.;
Probabilities.;
Computer Science.;
Software Engineering/Programming and Operating Systems.;
Probability Theory and Stochastic Processes.;
Programming Techniques.;
Logics and Meanings of Programs.;
Programming Languages, Compilers, Interpreters.;
Mathematical Logic and Formal Languages.;
Author Added Entry:
Morgan, Carroll.;
Copy Details:
Acc. No.: EBK118, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
McIver, Annabelle.
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / / by Annabelle McIver, Carroll Morgan. .- XX, 388 p. 63 illus.. online resource. ** Monographs in Computer Science, 0172-603X )
QA76.758 - Monographs in Computer Science, .
ISBN: 9780387270067
10.1007/b138392 doi
Subject Headings:
Computer science.;
Software engineering.;
Computer programming.;
Programming languages (Electronic computers).;
Computer logic.;
Mathematical logic.;
Probabilities.;
Computer Science.;
Software Engineering/Programming and Operating Systems.;
Probability Theory and Stochastic Processes.;
Programming Techniques.;
Logics and Meanings of Programs.;
Programming Languages, Compilers, Interpreters.;
Mathematical Logic and Formal Languages.;
Author Added Entry:
Morgan, Carroll.;
Copy Details:
Acc. No.: EBK118, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------