Logics for concurrency structure versus automata Faron Moller, Graham Birtwistle (Eds.)

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

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

ΚείμενοΓλώσσα: Αγγλικά Σειρά: Lecture notes in computer science ; 1043Λεπτομέρειες δημοσίευσης: Berlin Springer 1996Περιγραφή: xi, 266 p. fig. 24 cmISBN:

3540609156

Θέμα(τα):

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

004.36

Αντίτυπα ( 1 )
Σημειώσεις τίτλου ( 1 )

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

Browsing ΒΚΠ - Πατρα shelves, Shelving location: Βασική Συλλογή Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)

Προηγούμενο								Επόμενο
Προηγούμενο	004.36 GHO Κατανεμημένα συστήματα : μια αλγοριθμική προσέγγιση /	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	004.36 R Elements of distributed algorithms :	004.36 REI Elements of distributed algorithms :	Επόμενο

Includes bibliographical references

Εκτύπωση
Προσθήκη στο καλάθι (αφαίρεση)
Προτεινόμενο για αγορά
Αποθήκευση εγγραφής
BIBTEX Dublin Core MARC (non-Unicode/MARC-8) RIS MARC (Unicode/UTF-8)
Περισσότερες αναζητήσεις

Αναζήτηση αυτού του τίτλου σε:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Κοινοποίηση