Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
"Refinement calculus."
'
Μετάβαση στο περιεχόμενο
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
Αναζήτηση
Σύνθετη
Αποτελέσματα αναζήτησης - "Refinement calculus."
Εμφανίζονται
1 - 2
Αποτελέσματα από
2
για την αναζήτηση '
"Refinement calculus."
'
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Newest to Oldest
Oldest to Newest
Ανά συγγραφέα
Ανά Τίτλο
Select Page
Email
Εξαγωγή
Εκτύπωση
Προσθήκη στο καλάθι
Επιλογή αποτελέσματος με αριθμό 1
1
Non-deterministic expressions and predicate transformers.
ανά
Morris, Joseph M.
Τόπος έκδοσης
Information processing letters.
Ταξιθετικός Αριθμός:
loading...
Βρίσκεται σε:
loading...
Άρθρο
loading...
Προσθήκη στο καλάθι
Αφαίρεση από το καλάθι
Επιλογή αποτελέσματος με αριθμό 2
2
A refinement calculus for software components and architectures.
ανά
Barbosa, Marco Antonio
Τόπος έκδοσης
Software engineering notes.
Ταξιθετικός Αριθμός:
loading...
Βρίσκεται σε:
loading...
Άρθρο
loading...
Προσθήκη στο καλάθι
Αφαίρεση από το καλάθι
Select Page
Email
Εξαγωγή
Εκτύπωση
Προσθήκη στο καλάθι
Εργαλεία αναζήτησης:
Αποστολή αναζήτησης με email
Πίσω
Περιορισμός αποτελεσμάτων
Η σελίδα θα φορτωθεί εκ νέου όταν επιλεγεί ή αποεπιλεγεί κάποιο φίλτρο.
DATABASE
Union Catalog (Buklod)
2 αποτελέσματα
2
AUTHOR
Barbosa, Marco Antonio
1 αποτελέσματα
1
Morris, Joseph M.
1 αποτελέσματα
1
RESOURCE TYPE
Άρθρο
2 αποτελέσματα
2
LANGUAGE
English
2 αποτελέσματα
2
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman