Proof theory for authorization logic and its application to a practical file system.
by Deepak Garg
| Publisher: | Unknows |
| Published In: | 08-Sep-2011 |
| ISBN-10: | 1243696079 |
| ISBN-13: | 9781243696076 |
| Binding Type: | Paperback |
| Weight: | 651 gms |
| Pages: | pp. 306, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Proof theory for authorization logic and its application to a practical file system." is written by Deepak Garg. This book was published in the year 0820. The ISBN number 1243696079|9781243696076 is assigned to the Paperback version of this title. This book has total of pp. 306 (Pages). The publisher of this title is Unknows. Proof theory for authorization logic and its application to a practical file system. is currently Not Available with us.You can enquire about this book and we will let you know the availability.