Item Details
Skip Navigation Links
   ActiveUsers:39Hits:34228Searching In All LibrariesSkip Navigation Links
Show My Basket
Introduction
Information
Ask Us
Today's News
HelpExpand Help
Select Libraries | Advanced search
In Basket
  Book   Book
 

ID002843
Call Number004.2/CLA/
Title ProperModel checking
LanguageENG
AuthorClarke, Edmund M ;  grumberg, Orna ;  Peled, Doron
Edition Statement1
PublicationLondon,  The MIT Press,  1999.
Descriptionix ; 314   HB
Standard Number9780262032704
Price. Qualification4485 ($ 69)(Reference)
Classification Number004.2


 
 
Circulation Summary 
MAPLibCps.Iss.Ref.Rsv.
map PH1010
Circulation
LibraryAccession#Call#Current LocationStatusPolicyLocation
Nutan Maharashtra Institute of Engg. & Technology011108004.2/CLA/MainOn ShelfReference booksRef3 - Library Copy/ Reference copy