عرض عادي عرض مارك عرض تدوب

Model Checking and Artificial Intelligence : 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers / MoChArt 5 MoChArt five Doron A. Peled, Michael J. Wooldrige (eds.). - Berlin ; New York : Springer, c2009. - 188 p. : ill. ; 24 cm. - Lecture notes in computer science, Lecture notes in artificial intelligence 5348. 0302-9743 ; . - Lecture notes in computer science ; 5348. Lecture notes in computer science. Lecture notes in artificial intelligence. .

Includes bibliographical references and index.

ISBN: 9783642004308 (acidfree paper) 364200430X

LCCN: 2009921993

Nat. Bib. No.: 09,N10,0077 dnb

Nat. Bib. Agency Control No.: 992751535 DE-101

Subjects--Topical Terms:
Computer systems--Verification--Congresses.
Computer software--Verification--Congresses.
Artificial intelligence--Congresses.
K�unstliche Intelligenz--Model Checking--Patras <2008>--Kongress
Model Checking.

Index Terms--Genre/Form:
Kongress.

LC Class. No.: QA76.76.V47 / M63 2008

Dewey Class. No.: 006.3 / MOC