Home > > > An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model

An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model

0 stars by 0 votes
Google Book Preview of An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model

Best Price: Rs. 3,046 - Rs. 3,549 Compare prices from 5 sellers »

Book Details

Contributors
Author Mitchell David Irwin Hirschfeld
Dimensions
Width 7.44 inch
Height 0.22 inch
Weight 200 g
Format
Binding Paperback
Overview
Number of Pages 104 Pages
Publisher Biblioscholar
Publication Year 2012
ISBN-13 9781288417209
ISBN-10 1288417209
Language English

An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model Price in India

Bookadda

Return Policy
Cash on Delivery ; EMI

3,046.00 Rs. 3,046 + FREE Shipping
Acadzone

Return Policy
Cash on Delivery ; EMI

3,046.00 Rs. 3,046 + FREE Shipping
Landmarkonthenet

Return Policy
Cash on Delivery ; EMI

3,185.00 Rs. 3,185 + FREE Shipping
RediffBooks

Return Policy
Cash on Delivery ; EMI

3,185.00 Rs. 3,185 + FREE Shipping
Amazon

Return Policy : 30 days
Cash on Delivery ; EMI

2-10 Working Days

3,549.00 Rs. 3,549 + FREE Shipping

Local stores for Books

or Find Shops Near Me
Shop NameAddressDistancePhone NumberMap & Direction
Does your store sale this book?
ADD YOUR STORE

Google Preview

Price Alert