Menu
Home
Advanced Search
Directory of Libraries
Languages
فارسی
English
العربی
عنوان
Model Checking and Artificial Intelligence
پدید آورنده
موضوع
Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Artificial intelligence ; Congresses. ; K?nstliche Intelligenz ; Model Checking ; Kongress ; Patras <2008> ; Model Checking. ; swd. ;
رده
کتابخانه
Central Library and Documents Center of Mazandaran University
محل استقرار
استان:
Mazandaran
ـ شهر:
Babolsar
تماس با کتابخانه :
62
-
35302861
-
011
NATIONAL BIBLIOGRAPHY NUMBER
Number
oldebook5150
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
eng
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Model Checking and Artificial Intelligence
Other Title Information
:MoChArt 5. ; MoChArt five. ;
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ;New York :
Name of Publisher, Distributor, etc.
: Springer,
Date of Publication, Distribution, etc.
, 2009.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
TOPICAL NAME USED AS SUBJECT
Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Artificial intelligence ; Congresses. ; K?nstliche Intelligenz ; Model Checking ; Kongress ; Patras <2008> ; Model Checking. ; swd. ;
PERSONAL NAME - PRIMARY RESPONSIBILITY
; Wooldrige, Michael J. ; -Peled, Doron A., ; 1962
old catalog
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal