Produktbild: NAPAW 92

NAPAW 92

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

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

ISBN: 3540198229
ISBN 13: 9783540198222
Herausgeber: S Purushothaman/Amy Zwarico
Verlag: Springer Verlag GmbH
Umfang: VIII, 243 S.
Erscheinungsdatum: 24.02.1993
Auflage: 1/1993
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 5744416 Kategorie:

Beschreibung

with Dynamic Priorities P. Bremond-Gregoire, S. Davidson and I. Lee. 65 Exception Handling in Process Algebra F. S. de Boer, J. Coenen and R. Gerth. 86 Session 3 Observation Trees (Extended Abstract) P. Degano, R. De Nicola and U. Montanari. 103 Computing Ready Simulations Efficiently B. Bloom and R. Paige. 119 Verification of Value-Passing Systems Z. Schreiber.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …