Κανονική προβολή Προβολή MARC Προβολή ISBD

Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship J. Zwiers - Berlin Springer 1989 - vi,272p.: bibliography - Lecture Notes in Computer Science 321 .

Τομέας εφαρμογων και θεμελιώσεων της επιστήμης των υπολογιστών. Εργαστήριο συνδυαστικων αλγοριθμων

ISBN: 3 540 50845 7

Subjects--Topical Terms:
ΕΣΑ
COMPUTER NETWORKS
LNCS

Dewey Class. No.: 004.6