Specification and analysis of concurrent systems The COSY approach

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

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

ΚείμενοΓλώσσα: Αγγλικά Σειρά: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. SalomaaΛεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992Περιγραφή: xii,480p. figISBN:

Θέμα(τα):

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

Προηγούμενο			Η εικόνα εξωφύλλου δεν είναι διαθέσιμη		Η εικόνα εξωφύλλου δεν είναι διαθέσιμη			Επόμενο
Προηγούμενο	005.12 HOF Probabilistic analysis of algorithms :	005.12 HOL Structured concurrent programming with operating systems applications	005.12 JAM The characteristics of parallel algorithms	005.12 JAN Specification and analysis of concurrent systems	005.12 LIS Abstraction and specification in program development	005.12 VLI Pattern Hatching	005.12 WAD Software Optimization for High-Performance Computing	Επόμενο

βιβλιογραφία σσ.407-422

Κοινοποίηση