Logic and computation Interactive Proof with Cambridge LCF Lawrence C. Paulson

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

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

ΚείμενοΛεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1987Περιγραφή: xviii,302pISBN:

Θέμα(τα):

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

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

Κοινοποίηση