Tool support for system specification, development and verification
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | International Workshop on Tool Support for System Specification, Development and Verificaion |
|---|---|
| Άλλοι συγγραφείς: | Berghammer, R. (Rudolph) 1952- (Επιμελητής έκδοσης), Lakhnech, Y. (Yassine) (Επιμελητής έκδοσης) |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Wien :
Springer,
c1999
|
| Σειρά: | Advances in computing science,
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Verification and validation of rule-based expert systems
από: Smith, Suzanne 1953-
Δημοσίευση: (1993) -
Verification of sequential and concurrent programs
από: Apt, Krzysztof R. 1949-
Δημοσίευση: (1991) -
Specification of software systems
από: Alagar, Vangalur S. 1940-
Δημοσίευση: (1998) -
Advanced information systems engineering :
Δημοσίευση: (1996) -
CASE :
από: Fisher, Alan S.
Δημοσίευση: (1991)