Φορτώνει......
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)