Chargement en cours...
Formal specification and software development
Auteur principal: | Bjorner, Diner |
---|---|
Autres auteurs: | Jones, Cliff B. |
Format: | Printed Book |
Langue: | English |
Publié: |
New Jersy
Prentice-hall international
1982
|
Collection: | Printice-Hall International series in computer science
|
Sujets: |
Documents similaires
-
EUROMICRO sympopsium on microprocessing and microprogramming
par: Stephen Winter and HArald Schumny
Publié: (1988) -
Microprogrammed control and reliable design of small computers
par: Geroge D.Kraft
Publié: (1981) -
Software interpreters for microcomputers
par: Mcintire, Thomas C
Publié: (1978) -
Foundations of microprogramming architecture, software and applications
par: Agarwala, Ashok K
Publié: (1976) -
Microprogramming primer /
par: Katzan, Harry
Publié: (1977)