Η αναζήτηση επέστρεψε 2 αποτελέσματα.

Αποτελέσματα
	1.	Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990 από Clarke, E. M [edt] Kurshan, R. P [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 531 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: berlin Springer-Verlag c1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.14. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Clematics. από Clarke, E Korinzukai Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Λεπτομέρειες δημοσίευσης: London : Collins, 1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Μεσολόγγι (1)Ταξιθετικός αριθμός: 635.933 111 CLA. Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας