خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type : Latin Dissertation
Language of Document : English
Record Number : 153162
Doc. No : ET24954
Main Entry : Ckudevan Janarthanan
Title Proper : MODULAR COMPOSITION AND VERIFICATION OF TRANSACTION PROCESSING PROTOCOLS USING CATEGORY THEORYPOMPES PAR TRANSITIONS MULTIPLES
Note : This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract : Establishing the correctness of reliable distributed protocols supporting de-pendable applications necessitates modular/compositional approaches to tackle theinherent complexity of these protocols. Efforts involved in the specification and ver-.
Subject : Electericl tess
: برق
electronic file name : TL49167.pdf
Title and statement of responsibility and : MODULAR COMPOSITION AND VERIFICATION OF TRANSACTION PROCESSING PROTOCOLS USING CATEGORY THEORYPOMPES PAR TRANSITIONS MULTIPLES [Thesis]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)