Logics of programs Workshop, Yorktown Heights, New York, May 1981 ; edited by Dexter Kozen

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

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

ΚείμενοΓλώσσα: Αγγλικά Σειρά: Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1982Περιγραφή: vi, 429 σ. πιν. 25 εκISBN:

Θέμα(τα):

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

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

Κοινοποίηση