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

" Linear time, branching time, and partial order in logics and models for concurrency : "


Document Type : BL
Record Number : 604437
Doc. No : 89,A28,0584b433656
Title & Author : Linear time, branching time, and partial order in logics and models for concurrency : : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 /\ J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
Publication Statement : Berlin ;New York :: Springer-Verlag,, c1989.
Series Statement : Lecture notes in computer science ;; 354
Page. NO : viii, 713 p. :: ill. ;; 25 cm.
ISBN : 038751080X (U.S. : alk. paper)
: : 9780387510804 (U.S. : alk. paper)
: : 354051080X
: : 9783540510802
Notes : "Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref.
Bibliographies/Indexes : Includes bibliographical references.
Subject : Parallel processing (Electronic computers)
Subject : Electronic data processing-- Distributed processing.
Dewey Classification : ‭004/.35‬
LC Classification : ‭QA76.5‬‭.L523 1989‬
Added Entry : Bakker, J. W. de, (Jacobus Willem),1939-
: Roever, W.-P. de,1943-
: Rozenberg, Grzegorz.
Added Entry : School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency(1988 :, Noordwijkerhout, Netherlands)
کپی لینک

پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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