IMSc Library catalog › Details for: Verification of Infinite-State Systems with Applications to Security:Volume 1 NATO Security through Science Series:Information and Communication Security

Normal view MARC view ISBD view

Verification of Infinite-State Systems with Applications to Security:Volume 1 NATO Security through Science Series:Information and Communication Security

TextSeries: (Nato Security Through Science)Publication details: Amsterdam ; IOS Press ; 2006Description: 235ISBN: 1586035703

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 CLA (Browse shelf (Opens below))		Available		58796

Previous								Next
Previous	681.3 CHOW Distributed Operating Systems and Algorithms	681.3 CHU Influence of computers and informatics on mathematics and its teaching	681.3 CLA Model Checking	681.3 CLA Verification of Infinite-State Systems with Applications to Security:Volume 1 NATO Security through Science Series:Information and Communication Security	681.3 CLA Principles and theory for data mining and machine learning	681.3 CLA Handbook of Model Checking	681.3 CLO Boolean functions and computation models	Next

There are no comments on this title.

to post a comment.