Software specification methods : an overview using a case study
Αποθηκεύτηκε σε:
| Άλλοι συγγραφείς: | Frappier, Marc 1965- (Επιμελητής έκδοσης), Habrias, Henri (Επιμελητής έκδοσης) |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
London :
Springer,
c2001
|
| Σειρά: | Formal approaches to computing and information technology
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Specification of software systems
από: Alagar, Vangalur S. 1940-
Δημοσίευση: (1998) -
Industrial-strength formal methods in practice
Δημοσίευση: (1999) -
Software specification and design :
από: Keller, Marilyn 1956-
Δημοσίευση: (1992) -
Πρότυποι όροι σύμβασης για την αγορά μηχανογραφικού εξοπλισμού
Δημοσίευση: (1985) -
Effective methods for software testing
από: Perry, William E.
Δημοσίευση: (1995)