Your search returned 2 results.

Not what you expected? Check for suggestions
Software reliability methods Doron A. Peled ; foreword by Edmund M. Clarke.

by Peled, Doron.

Publisher: New York : Springer, c2001Availability: Items available for loan: Central Library (CL)Call number: 005 PEL (1).
Model Checking and Artificial Intelligence 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / Doron A. Peled, Michael J. Wooldrige (eds.).

by MoChArt 2008 (2008 : Patrai, Greece) | Peled, Doron A, 1962- | Wooldrige, Michael J.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2009Other title: MoChArt 5 | MoChArt five.Online access: Table of contents | Inhaltsverzeichnis | Publisher description Availability: Items available for loan: School of Mechanical & Manufacturing Engineering (SMME)Call number: 006.3 MOD (1).
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.