Formal development of programs and proofs
| अन्य लेखक: | |
|---|---|
| स्वरूप: | पुस्तक |
| भाषा: | English |
| प्रकाशित: |
Reading, Mass.
Addison-Wesley
c1990.
|
| विषय: |
| अन्य लेखक: | |
|---|---|
| स्वरूप: | पुस्तक |
| भाषा: | English |
| प्रकाशित: |
Reading, Mass.
Addison-Wesley
c1990.
|
| विषय: |