Principles of the spin model checker

By:

Material type: Text

TextPublication details: Rehovot Springer 2008Description: xv;216 pISBN:

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	Collection	Call number	Status	Notes	Barcode
Book	Air University Central Library Islamabad Computer Science	NFIC	005.1 ARI (Browse shelf(Opens below))	Available	Program Relevancy: BSCS; Course Relevancy: Software engineering; operating systems	P11026
Book	Air University Central Library Islamabad Computer Science	NFIC	005.1 ARI (Browse shelf(Opens below))	Available	Program Relevancy: BSCS; Course Relevancy: Software engineering; operating systems	P11027

Previous								Next
Previous	004.654 SOA SOA with rest : principles, patterns & constraints for building enterprise solutions with rest	004.678 HAB The big basics book of the internet /	005.1 AHO The design and analysis of computer algorithms /	005.1 ARI Principles of the spin model checker	005.1 ARI Principles of the spin model checker	005.1 DAV Design and analysis of algorithms /	005.1 FOX Building distributed applications with visual basic.net	Next

There are no comments on this title.

to post a comment.

Welcome to Air University Central Library and Fazaia Medical College Library. (Sign in with Your email. Your user name is the same as your student ID number or Employee ID number for password, please contact Circulation Staff)