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

" Compositionality, concurrency, and partial correctness : "


Document Type : BL
Record Number : 608663
Doc. No : dltt
Main Entry : Zwiers, J., (Job),1956-
Title & Author : Compositionality, concurrency, and partial correctness : : proof theories for networks of processes and their relationship /\ J. Zwiers.
Publication Statement : Berlin ;New York :: Springer-Verlag,, c1989.
Series Statement : Lecture notes in computer science ;; 321.
Page. NO : vi, 272 p. :: ill. ;; 25 cm.
ISBN : 0387508457 (U.S.)
: : 9780387508450 (U.S.)
: : 3540508457
: : 9783540508458
Bibliographies/Indexes : Bibliography: p. 266-272.
Subject : Parallel processing (Electronic computers)
Subject : Automatic theorem proving.
Dewey Classification : ‭004/.35‬
LC Classification : ‭QA76.5‬‭.Z87 1989‬
copyhttps://lib.clisel.com/site/catalogue/608663
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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