VDM '90 VDM and Z - formal methods in software development

Saved in:

Bibliographic Details
Corporate Author:	International Symposium of VDM Europe
Other Authors:	Bjorner, D. 1937- Dines, Hoare, C.A.R. 1934- Charles Antony Richard, Langmaack, Hans
Format:	Book
Published:	Berlin Springer-Verlag 1990
Series:	Lecture notes in computer science 428
Subjects:	Computer software > Congresses > Development
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000n a2200000 a 4501
001	wils-92279
020	#	#	\|a 3540525130
090	0	0	\|a QA76.76.D47 \|b I58 1990
110	1	#	\|a International Symposium of VDM Europe \|i 3rd \|j Kiel, FRG \|k 1990
245	1	0	\|a VDM '90 \|b VDM and Z - formal methods in software development \|b proceedings of the ... held April 17-21, 1990 \|c editors, D. Bjorner, C. A. R. Hoare, H. Langmaack
260	#	#	\|a Berlin \|b Springer-Verlag \|c 1990
300	#	#	\|a xvii, 579 p. \|b ill. \|c 24 cm
490	1	#	\|a Lecture notes in computer science \|v 428
650	#	0	\|a Computer software \|v Congresses \|x Development
700	1	#	\|a Bjorner, D. \|c 1937- \|q Dines
700	#	#	\|a Hoare, C.A.R. \|c 1934- \|q Charles Antony Richard
700	#	#	\|a Langmaack, Hans
745	0	0	\|a VDM Europe
745	0	0	\|a Vienna Development Method
745	0	0	\|a Zermelo
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=92279
964	#	#	\|c BOK \|d 01
040	#	#	\|a Shah Alam
998	#	#	\|a 00260##a002.8.2\|\|00260##b002.8.4\|\|00260##c002.7.6\|\|00300##a003.4.1\|\|00300##b003.6.1\|\|00300##c003.5.1\|\|01700##a0011.2.2\|\|01700##c0017.8\|\|01700##q0017.8\|\|02700##a0011.2.2\|\|