Verification of sequential and concurrent programs Krzysztof R. Apt Ernst-Rudiger Olderog

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

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

ΚείμενοΛεπτομέρειες δημοσίευσης: Berlin Springer 1997Έκδοση: 2nd edΠεριγραφή: xvii,364pISBN:

Θέμα(τα):

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

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

Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστηριο συνδυαστικων αλγοριθμων

Προηγούμενο

Επόμενο

Κοινοποίηση