IMSc Library catalog › Details for: Unfoldings

Normal view MARC view ISBD view

Unfoldings a partial-order approach to model checking

TextSeries: Monographs in theoretical computer sciencePublication details: Berlin ; Springer-Verlag ; 2008Description: 169ISBN: 9783540774259

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3 ESP (Browse shelf (Opens below))		Available		61377

Previous			No cover image available			No cover image available	No cover image available	Next
Previous	681.3 ERG Guide to programming and algorithms using R	681.3 ERS Fourier-Related Transforms, Fast Algorithms and Applications	681.3 ESIK Automata and formal languages: 11th international conference AFL 2005 Dobogoko, Hungary, May 17-20: proceedings	681.3 ESP Unfoldings	681.3 EVEN Graph algorithms	681.3 EXP Experimental arithmetic high speed computing and malt	681.3 EYRE Computers and systems, introduction for librarians	Next

There are no comments on this title.

to post a comment.