Teaching and learning formal methods Edited by C. Neville Dean, Michael G. Hinchey

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

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

ΚείμενοΓλώσσα: Αγγλικά Σειρά: Academic Press international series in formal methodsΛεπτομέρειες δημοσίευσης: London Academic Press 1996Περιγραφή: xvi, 285 p. 23 cmISBN:

Θέμα(τα):

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

Ελλιπή περιεχόμενα:

Includes index

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

Includes index

Κοινοποίηση