Software Prototyping, Formal Methods and VDM

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hekmatpour, Sharam
Weitere Verfasser:	Ince, Darrel C.
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Wokingham Addison-Wesley Pub. Co. 1988
Ausgabe:	1. ed.
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

View in EUBA Opac

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.