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.).
Material type:
TextSeries: Lecture notes in computer science: 5348.; Lecture notes in computer science: Publisher: Berlin ; New York : Springer, c2009Description: 188 p. : ill. ; 24 cmISBN: 9783642004308 (acidfree paper)Other title: MoChArt 5 | MoChArt fiveSubject(s): Computer systems -- Verification -- Congresses | Computer software -- Verification -- Congresses | Artificial intelligence -- Congresses | Künstliche Intelligenz -- Model Checking -- Kongress -- Patras <2008> | Model CheckingGenre/Form: Kongress. DDC classification: 006.3 LOC classification: QA76.76.V47 | M63 2008Other classification: DAT 325f | DAT 706f | SS 4800 Online resources: Table of contents | Inhaltsverzeichnis | Publisher description
| Item type | Current location | Home library | Shelving location | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Book
|
School of Mechanical & Manufacturing Engineering (SMME) | School of Mechanical & Manufacturing Engineering (SMME) | General Stacks | 006.3 MOD (Browse shelf) | Available | Rack,52-Shelf,2 | SMME-509 |
Total holds: 0
Includes bibliographical references and index.
paperback
There are no comments on this title.