Φορτώνει......
Formal specification and software development
Κύριος συγγραφέας: | Bjorner, Diner |
---|---|
Άλλοι συγγραφείς: | Jones, Cliff B. |
Μορφή: | Printed Book |
Γλώσσα: | English |
Έκδοση: |
New Jersy
Prentice-hall international
1982
|
Σειρά: | Printice-Hall International series in computer science
|
Θέματα: |
Παρόμοια τεκμήρια
-
EUROMICRO sympopsium on microprocessing and microprogramming
ανά: Stephen Winter and HArald Schumny
Έκδοση: (1988) -
Microprogrammed control and reliable design of small computers
ανά: Geroge D.Kraft
Έκδοση: (1981) -
Software interpreters for microcomputers
ανά: Mcintire, Thomas C
Έκδοση: (1978) -
Foundations of microprogramming architecture, software and applications
ανά: Agarwala, Ashok K
Έκδοση: (1976) -
Microprogramming primer /
ανά: Katzan, Harry
Έκδοση: (1977)