Formal specification and software development /

Saved in:

Bibliographic Details
Main Author:	Bjorner, D. (Dines), 1937- (Author)
Other Authors:	Jones, C. B. (Cliff B.), 1944-
Format:	Book
Language:	English
Published:	©1982
Series:	Prentice-Hall international series in computer science
Subjects:	Computer programming Programming languages (Electronic computers)
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000cam a2200000 i 4500
001	ml2025019318
003	PGLAUT
005	20250703162446.0
008	831215s1982 njua a o0011 eng l
035			\|a 00407739(PWmBRO)
040			\|a PGLAUTC \|b eng \|e rda \|c PGLAUT \|d PGLAUT
082	0	0	\|a 001.642
100	1	0	\|a Bjorner, D. \|q (Dines), \|d 1937-, \|e author \|9 5087
245	1	0	\|a Formal specification and software development / \|c Dines Bjorner and Cliff B. Jones ; \|f in collaboration with Derek Andrews ... [et al.]
264		0	\|a Englewood Cliffs, N.J : \|b Prentice/Hall International , \|c [1982]
264		4	\|c ©1982
300	0	0	\|a x, 501 pages : \|b illustrations ; \|c 25 cm.
336			\|a text \|b txt \|2 rdacontent
337			\|a unmediated \|b n \|2 rdamedia
338			\|a volume \|b nc \|2 rdacarrier
380			\|a Abstract or summary
440	0	0	\|a Prentice-Hall international series in computer science
500	0	0	\|a Includes index
650	0	0	\|a Computer programming \|9 4498
650	0	0	\|a Programming languages (Electronic computers) \|9 4496
700	1	0	\|a Jones, C. B. \|q (Cliff B.), \|d 1944- \|9 5089
942			\|2 ddc \|c BK \|n 0
999			\|c 15015 \|d 15015
952			\|0 0 \|1 0 \|4 0 \|7 0 \|8 MN \|a ML015 \|b ML015 \|c MN \|d 2024-06-02 \|l 1 \|o 001.642 B626f \|p 019318 \|r 2020-08-14 00:00:00 \|s 2020-07-15 \|w 2018-03-23 \|y BK