Εμφανίζονται
1 - 1
Αποτελέσματα από
1
για την αναζήτηση '
Bjørner, Dines 1937-
'
Μετάβαση στο περιεχόμενο
UPFind
Καλάθι βιβλίων:
0
τεκμήρια
(Γεμάτο καλάθι)
Γλώσσα
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Αναζήτηση
Σύνθετη
Συγγραφέας
Bjørner, Dines 1937-
Εμφανίζονται
1 - 1
Αποτελέσματα από
1
για την αναζήτηση '
Bjørner, Dines 1937-
'
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Newest to Oldest
Oldest to Newest
Ανά συγγραφέα
Ανά Τίτλο
Select Page
Email
Εξαγωγή
Εκτύπωση
Προσθήκη στο καλάθι
Επιλογή αποτελέσματος με αριθμό 1
1
Formal specification and software development
ανά
Bjørner, Dines 1937-
Έκδοση 1982
Ταξιθετικός Αριθμός:
loading...
Βρίσκεται σε:
loading...
Βιβλίο
loading...
Προσθήκη στο καλάθι
Αφαίρεση από το καλάθι
Select Page
Email
Εξαγωγή
Εκτύπωση
Προσθήκη στο καλάθι
Εργαλεία αναζήτησης:
Αποστολή αναζήτησης με email
Σχετικά θέματα
Computer programming
Programming languages (Electronic computers)
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
