Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem

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

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

ΚείμενοΓλώσσα: Αγγλικά Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1032Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1996Περιγραφή: 142p. figISBN:

Θέμα(τα):

Αντίτυπα
Τύπος τεκμηρίου	Τρέχουσα βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός αντιτύπου	Κατάσταση	Ημερομηνία λήξης	Ραβδοκώδικας
	Μηχανικών Η/Υ και Πληροφορικής	005.14 GOD (Περιήγηση στο ράφι(Άνοιγμα παρακάτω))	1	Διαθέσιμο

bibliography:pp.133-142

Κοινοποίηση