Constructing correct software /
Saved in:
| Hovedforfatter: | Cooke, John (Author) |
|---|---|
| Format: | Bog |
| Sprog: | English |
| Udgivet: |
London :
Springer,
2008.
|
| Udgivelse: | 2nd ed. |
| Serier: | Formal approaches to computing and information technology
|
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
-
Constructing correct software /
af: Cooke, John
Udgivet: (2008) -
Software specification methods /
Udgivet: (2006) -
Domain modeling-based software engineering : a formal approach /
af: Rukian, Lu
Udgivet: (2000) -
Formal methods and software engineering /
Udgivet: (2005) -
Design patterns formalization techniques /
Udgivet: (2007)