Model checking Clarke Edmund M

By:

Material type: Text

TextLanguage: English Publication details: 1999DDC classification:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Status	Barcode
Textual	South Campus Library	South Campus Library	D6,8(B) N9 (Browse shelf(Opens below))	Available	SC0727603

Previous	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	No cover image available No cover image available No cover image available	Next
Previous	D6,8(B) N9 Contributions to hardware and software reliability	D6,8(B) N9 Contributions to hardware and software reliability	D6,8(B) N9 Contributions to hardware and software reliability	D6,8(B) N9 Model checking	D6,8(B) P0 Parallel computers Architecture and programming.	D6,8(B) P0 Dependable network computing	D6,8(B) P0 Automata and languages theory and applications.	Next

There are no comments on this title.

to post a comment.