Normal view MARC view ISBD view

Abstraction, refinement and proof for probabilistic systems /

by McIver, Annabelle.
Authors: Morgan, Carroll,--1952- Series: Monographs in computer science Published by : Springer, (New York :) Physical details: xix, 383 p. : ill. ; 24 cm. ISBN: 0387401156 (alk. paper). Subject(s): Engineering mathematics. | Probabilities. | Systems engineering. Year: 2005 List(s) this item appears in: B-ON / Springer ebooks
    average rating: 0.0 (0 votes)
Item type Location Call number Status Date due
Livro Livro IST - Biblioteca Central
IST-Biblioteca Central
TA340.MCI.63177.CLC (Browse shelf) Para utilização interna

Includes bibliographical references (p. [345]-355) and indexes.

Click on an image to view it in the image viewer

© 2012, Universidade de Lisboa
Todos os direitos reservados - All rights reserved