লোডিং...
Formal methods of program verification
| প্রধান লেখক: | Berg,H.K |
|---|---|
| বিন্যাস: | Printed Book |
| ভাষা: | English |
| প্রকাশিত: |
New Jersey
Prentice-Hall
|
অনুরূপ উপাদানগুলি
-
Formal methods of program verification
অনুযায়ী: Berg,H.K -
Formal methods of program verification and specification
অনুযায়ী: H K Berg, অন্যান্য
প্রকাশিত: (1982) -
Formal specification and verification of digital sytems
অনুযায়ী: George Milne
প্রকাশিত: (1994) -
Formal Specification And Verification Of Digital Systems
অনুযায়ী: Milne, George
প্রকাশিত: (1994) -
Formal specification and verification of digital systems /
অনুযায়ী: Milne, George
প্রকাশিত: (1994)