Amazon cover image

Image from Amazon.com

Normal view MARC view ISBD view

Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan.

By:

McIver, Annabelle

Contributor(s):

Series: Monographs in Computer SciencePublication details: New York, NY : Springer Science+Business Media, Inc., 2005.Description: xix, 383 p. : ill., digital ; 24 cmISBN:

9780387270067 (electronic bk.)
9780387401157 (paper)

Subject(s):

DDC classification:

005.1 22

LOC classification:

TA340 .M43 2005

Online resources:

Click here to access online

In: Springer e-books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Comments ( 0 )

No physical items for this record

There are no comments on this title.

to post a comment.

Previous

Back to results

Next

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

1 Asia pacific strategy for emerging diseases progress report 2015 :
2 Beyond anthrax :
3 Biohazards :
by Grady, Sean M.,
4 Bird flu :
5 Bird flu :
6 Bird flu :
by Dawra, Sudhir
7 Bloodborne pathogens /
by National Safety Council
8 Bloodborne pathogens /
by Carruthers, Karen
9 Bloodborne pathogens /
by Carruthers, Karen
10 Bloodborne pathogens /
by Lindsey, Jeffrey
11 The CDC`s tuberculosis guidelines :
by Patterson, Renee M.
12 Communicable disease control and health protection handbook /
13 Communicable disease control and health protection handbook /
by Hawker, Jeremy,
14 Communicable disease control and health protection handbook / c Jeremy Hawker, Norman Begg, Ralf Reintjes, Karl Ekdahl, Obaghe Edeghere, Jim van Steenbergen.
by Hawker, Jeremy,
15 Communicable disease control in emergencies
16 Communicable disease epidemiology and control :
by Webber, Roger
17 Communicable diseases :
by Webber, Roger.
18 Communicable diseases :
by Webber, Roger,
19 Communication and community engagement in disease outbreaks :
20 Comparison of knowledge level on personal protective equipment among healthcare workers based on their roles in Emergency Department Hospital Canselor Tuanku Muhriz UKM /cHaikal Huzaifi Zulkefli, [and three others].
by Haikal Huzaifi Zulkefli,

Close

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library