Compositionality, Concurrency, and Partial Correctness

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

Proof Theories for Networks of Processes, and Their Relationship, Lecture Notes in Computer Science 321

ISBN: 3540508457
ISBN 13: 9783540508458
Autor: Zwiers, Job
Verlag: Springer Verlag GmbH
Umfang: viii, 276 S.
Erscheinungsdatum: 22.02.1989
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1456641 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …