Model checking and artificial intelligence : 6th international workshop, MoChArt, Atlanta, GA, USA, July 11, 2010 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.6572 | Lecture Notes in Artificial Intelligence (LNAI)Publication details: Berlin Springer 2011ISBN: 978-3-642-20674-0Subject(s): Computer Science and Engineering | Artificial intelligence -- Congresses | Computer software -- Congresses | Verification -- Congresses | Computer systems -- Congresses -- VerificationOnline resources: Click here to access online| Item type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
E-Books
|
Central Library, IITB Online | Link to resource | Online | EBK700 |
Total holds: 0
There are no comments on this title.