Μετάβαση στο περιεχόμενο
Ωκεανός
Υπηρεσία Ενοποιημένης Αναζήτησης
του Πανεπιστημίου Πειραιώς
Σύνθετη
  • 0 τεκμήρια
  • Γλώσσα
    • English
    • Ελληνικά
Σύνθετη
  • Αναζήτηση: "Formal methods (Computer science)"
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Formal methods (Computer science) 3 Algebraic logic 1 Computer software 1
Development 1 Integrated circuits 1 Systems on a chip 1
περισσότερα ...
Testing 1 UML (Computer science) 1 Verification 1
λιγότερα ...
Εμφανίζονται 1 - 3 από 3 για την αναζήτηση: '"Formal methods (Computer science)"', χρόνος αναζήτησης: 0,13δλ
Εξώφυλλο
Cafe an industrial-strength algebraic formal method /
Στοιχεία έκδοσης 2000
Θέματα: '; “...Formal methods (Computer science) Congresses...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
από Drusinsky, Doron.
Στοιχεία έκδοσης 2006
Θέματα: '; “...Formal methods (Computer science)...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εξώφυλλο
Verification techniques for system-level design
από Fujita, Masahiro, 1956-
Στοιχεία έκδοσης 2008
Θέματα: '; “...Formal methods (Computer science)...”
Ταξινομικός #: Φορτώνει......
Βρίσκεται σε: Φορτώνει......
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Προεπισκόπηση
Προεπισκόπηση
Προεπισκόπηση
Εμφάνιση κώδικα QR

Στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης

Περιορισμός αναζήτησης

Συλλογή
3 Κατάλογος Βιβλιοθήκης
Μορφή
3 Electronic
Συγγραφέας
1 Drusinsky, Doron 1 Fujita, Masahiro, 1956-
Γλώσσα
3 English
Είδος
3 Electronic books 1 Conference proceedings 1 Congresses
Έτος έκδοσης

Επιλογές αναζήτησης

  • Ιστορικό αναζητήσεων
  • Σύνθετη αναζήτηση

Βρείτε περισσότερα

  • Περιήγηση στον κατάλογο
  • Περιήγηση αλφαβητικά

Χρειάζεστε βοήθεια;

  • Συμβουλές αναζήτησης
Library of UniPi
Βιβλιοθήκη Πανεπιστημίου Πειραιώς
Ιστοσελίδα της Βιβλιοθήκης
Επικοινωνήστε μαζί μας
H Υπηρεσία Ενοποιημένης Αναζήτησης δημιουργήθηκε στο πλαίσιο του Υποέργου 4 «Προμήθειες Εξοπλισμού Λογισμικού» της πράξης «Ψηφιακές υπηρεσίες ανοιχτής πρόσβασης της βιβλιοθήκης του Πανεπιστημίου Πειραιώς» με κωδικό ΟΠΣ «304169», του Επιχειρησιακού Προγράμματος "Ψηφιακή Σύγκλιση"

Φορτώνει......