Software Prototyping, Formal Methods and VDM

Uložené v:
Podrobná bibliografia
Hlavný autor: Hekmatpour, Sharam
Ďalší autori: Ince, Darrel C.
Médium: Kniha
Jazyk:English
Vydavateľské údaje: Wokingham Addison-Wesley Pub. Co. 1988
Vydanie:1. ed.
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

MARC

LEADER 00000nam a2200000 4500
001 c038450
005 20221219120613.1
041 0 |a eng 
044 |a US 
245 1 0 |a Software Prototyping, Formal Methods and VDM  |c Sharam Hekmatpour, Darrel C. Ince 
250 |a 1. ed. 
264 1 |a Wokingham  |b Addison-Wesley Pub. Co.  |c 1988 
300 |a 222 s. 
100 1 |a Hekmatpour, Sharam 
700 1 |a Ince, Darrel C.