منو
رکورد قبلیرکورد بعدی

" Verifying Concurrent Processes Using Temporal Logic "


Document Type : BL
Record Number : 745979
Doc. No : b565928
Main Entry : by Brent T. Hailpern.
Title & Author : Verifying Concurrent Processes Using Temporal Logic\ by Brent T. Hailpern.
Publication Statement : Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1982
Series Statement : Lecture Notes in Computer Science, 129
ISBN : 3540390340
: : 9783540390343
Notes : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.
Subject : Computer Science
Subject : Computer science.
Subject : Logic design.
Added Entry : Brent T Hailpern
copyhttps://lib.clisel.com/site/catalogue/745979
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟