Cantitate/Preț
Produs
Total produse
Vezi coșul
NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 de S. Purushothaman

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992: Workshops in Computing

Editat de S. Purushothaman, Amy Zwarico
en Limba Engleză Paperback – 24 feb 1993

Din seria Workshops in Computing

Preț: 31768 lei

Preț vechi: 39710 lei
-20%

Puncte Express: 477

Carte tipărită la comandă

Livrare economică 08-22 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540198222
ISBN-10: 3540198229
Pagini: 252
Ilustrații: VIII, 243 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.36 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing

Locul publicării:London, United Kingdom

Public țintă

Research

Cuprins

Session 1.- Real-Time Calculi and Expansion Theorems (Extended Abstract).- Modal Logics in Timed Process Algebras.- Process Communication Environment.- Session 2.- A Process Calculus with Incomparable Priorities.- CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities.- Exception Handling in Process Algebra.- Session 3.- Observation Trees (Extended Abstract).- Computing Ready Simulations Efficiently.- Verification of Value-Passing Systems.- An Extension of the Testing Method for Processes Passing Infinite Values.- Session 4.- Constructive Semantics.- A Causality-based Semantics for CCS.- A ?-calculus Semantics of Logical Variables and Unification.- The Total Order Assumption.- Author Index.