Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

Κατά:

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

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

ΚείμενοΛεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, c1999.Περιγραφή: xiv, 314 σ. : εικ. ; 24 εκISBN:

Θέμα(τα):

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

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

Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.

Κοινοποίηση