Penggayaan APA
McIver, Annabelle., Morgan, Charles Carroll.. (2005).
Abstraction, Refinement and Proof for Probabilistic Systems (1st ed.).
New York, NY:
Springer.
Chicago Style
McIver, Annabelle., Morgan, Charles Carroll..
Abstraction, Refinement and Proof for Probabilistic Systems.
1st ed.
New York, NY:
Springer,
2005.
E Book.
MLA Style
McIver, Annabelle., Morgan, Charles Carroll..
Abstraction, Refinement and Proof for Probabilistic Systems.
1st ed.
New York, NY:
Springer,
2005.
E Book.
Turabian Style
McIver, Annabelle., Morgan, Charles Carroll..
Abstraction, Refinement and Proof for Probabilistic Systems.
1st ed.
New York, NY:
Springer,
2005.
E Book.