Logic and specification extending VDM-SL for advanced formal specification
Príomhchruthaitheoir: | |
---|---|
Formáid: | LEABHAR |
Teanga: | English |
Foilsithe / Cruthaithe: |
London
Chapman & Hall
c1993.
|
Ábhair: |
Príomhchruthaitheoir: | |
---|---|
Formáid: | LEABHAR |
Teanga: | English |
Foilsithe / Cruthaithe: |
London
Chapman & Hall
c1993.
|
Ábhair: |