Φορτώνει......
Formal specification and verification of digital sytems
| Κύριος συγγραφέας: | George Milne |
|---|---|
| Μορφή: | Printed Book |
| Γλώσσα: | English |
| Έκδοση: |
McGraw-Hill
1994
|
Παρόμοια τεκμήρια
-
Formal Specification And Verification Of Digital Systems
ανά: Milne, George
Έκδοση: (1994) -
Formal specification and verification of digital systems /
ανά: Milne, George
Έκδοση: (1994) -
Formal methods of program verification and specification
ανά: H K Berg, κ.ά.
Έκδοση: (1982) -
Formal methods of program verification
ανά: Berg,H.K -
Formal methods of program verification
ανά: Berg,H.K