Linear time, branching time and partial order in logics and models for concurrency ; edited by J.W. de Bakker, W. P. de Roever, G. Rozenberg

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

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

ΚείμενοΓλώσσα: Αγγλικά Σειρά: Lecture notes in computer science ; 354Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1989Περιγραφή: viii, 713 p. fig. 23 cmISBN:

Θέμα(τα):

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

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

Προηγούμενο								Επόμενο
Προηγούμενο	004.36 ATT Distributed computing :	004.36 C MIT project Athena	004.36 COU Distributed systems :	004.36 LIN Linear time, branching time and partial order in logics and models for concurrency	004.36 LIN Linear time, branching time and partial order in logics and models for concurrency	004.36 M Logics for concurrency	004.36 P Programming distributed applications with COM and Microsoft Visual Basic 6.0	Επόμενο

Includes bibliographical references

Κοινοποίηση