An introduction to programming with specifications : a mathematical approach /

Saved in:
Bibliographic Details
Main Author: Kubiak, Ryszard
Other Authors: Rudzinski, Roman, Sokolowski, S. (Stefan)
Format: Book
Language:English
Published: London ; San Diego : Academic Press, c1991.
Series:A.P.I.C. studies in data processing ; no. 35.
Subjects:
LEADER 01243nam a2200313 a 4500
001 c000125736
003 CARM
005 00000000000000.0
008 s1991 enka b 001 0 eng
010 |a 91183915 
019 1 |a 9285434  |5 LACONCORD2021 
020 |a 0124276202 
035 |a (OCoLC)30320457  |5 LACONCORD2021 
050 0 0 |a QA76.6  |b .K82 1991 
082 0 0 |a 005.1/2  |2 20 
100 1 |a Kubiak, Ryszard. 
245 1 3 |a An introduction to programming with specifications :  |b a mathematical approach /  |c Ryszard Kubiak, Roman Rudzinski, Stefan Sokolowski. 
260 |a London ;  |a San Diego :  |b Academic Press,  |c c1991. 
300 |a ix, 267 p. :  |b ill. ;  |c 24 cm. 
490 1 |a The A.P.I.C. series ;  |v no. 35 
504 |a Includes bibliographical references and index. 
650 0 |a Electronic digital computers  |x Programming. 
650 0 |a Programming (Mathematics) 
700 1 |a Rudzinski, Roman. 
700 1 |a Sokolowski, S.  |q (Stefan) 
830 0 |a A.P.I.C. studies in data processing ;  |v no. 35. 
852 8 |b CARM  |h A2:AH31C0  |i B03496  |p 0095805  |f BK 
999 f f |i 42260c45-900e-5a43-8fb6-f8a55721c7dd  |s 3b4effa8-9c78-5f60-8c01-71884b6f3567 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e B03496  |f A2:AH31C0  |h Other scheme  |i book  |m 0095805