Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship J. Zwiers

Συντελεστής(ές):

Τύπος υλικού:

ΚείμενοΣειρά: Lecture Notes in Computer Science ; 321Λεπτομέρειες δημοσίευσης: Berlin Springer 1989Περιγραφή: vi,272p.: bibliographyISBN:

Θέμα(τα):

Ταξινόμηση DDC:

Αντίτυπα
Τύπος τεκμηρίου	Τρέχουσα βιβλιοθήκη	Συλλογή	Ταξιθετικός αριθμός	Αριθμός αντιτύπου	Κατάσταση	Ημερομηνία λήξης	Ραβδοκώδικας
Book [21]	ΒΚΠ - Πατρα Αποθήκη 2.1	Non-fiction	004.6 ZWI (Περιήγηση στο ράφι(Άνοιγμα παρακάτω))	1	Διαθέσιμο		025000283154

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

Κοινοποίηση