Mathematical structures for software engineering : based on the proceedings of a conference organized by the Systems and Software Engineering Specialist Group of the Institute of Mathematics and Its Applications held at Manchester Polytechnic in July 1988 / edited by Bernard de Neumann, Dan Simpson, Gil Slater.

Saved in:
Bibliographic Details
Corporate Author: Institute of Mathematics and Its Applications. Systems and Software Engineering Specialist Group
Other Authors: De Neumann, Bernard, Simpson, D. (Dan), 1942-, Slater, Gil
Format: Book
Language:English
Published: Oxford : New York : Clarendon Press ; Oxford University Press, 1991.
Series:Institute of Mathematics and Its Applications conference series ; new ser., 27.
Subjects:

MARC

LEADER 00000nam a2200000Ia 4500
001 b1862246
003 CoU
008 910506s1991 enka b 100 0 eng d
005 20231212004918.3
020 |a 0198536275 
035 |a ocm23705272 
040 |a JNA  |c JNA  |d COD 
049 |a CODI 
090 |a QA76.758  |b .M275 1991 
245 0 0 |a Mathematical structures for software engineering :  |b based on the proceedings of a conference organized by the Systems and Software Engineering Specialist Group of the Institute of Mathematics and Its Applications held at Manchester Polytechnic in July 1988 /  |c edited by Bernard de Neumann, Dan Simpson, Gil Slater. 
260 |a Oxford :  |b Clarendon Press ;  |a New York :  |b Oxford University Press,  |c 1991. 
300 |a xiii, 355 pages :  |b illustrations ;  |c 24 cm. 
336 |a text  |b txt  |2 rdacontent. 
337 |a unmediated  |b n  |2 rdamedia. 
338 |a volume  |b nc  |2 rdacarrier. 
490 1 |a Institute of Mathematics and Its Applications conference series. New series ;  |v no. 27. 
590 |a Eng [c.1] JD. 
504 |a Includes bibliographical references. 
583 1 |a committed to retain  |c 20230101  |d 20480101  |5 CoU  |f Alliance Shared Trust  |u https://www.coalliance.org/shared-print-archiving-policies. 
650 0 |a Software engineering  |x Mathematics  |v Congresses. 
700 1 |a De Neumann, Bernard.  |0 http://id.loc.gov/authorities/names/n88192773  |1 http://isni.org/isni/000000006759975X. 
700 1 |a Simpson, D.  |q (Dan),  |d 1942-  |0 http://id.loc.gov/authorities/names/n87939485  |1 http://isni.org/isni/0000000114581684. 
700 1 |a Slater, Gil.  |0 http://id.loc.gov/authorities/names/n91093245  |1 http://isni.org/isni/0000000033000403. 
710 2 |a Institute of Mathematics and Its Applications.  |b Systems and Software Engineering Specialist Group.  |0 http://id.loc.gov/authorities/names/n91093248. 
830 0 |a Institute of Mathematics and Its Applications conference series ;  |v new ser., 27.  |0 http://id.loc.gov/authorities/names/n84748155. 
907 |a .b1862246x  |b 03-18-20  |c 11-28-94 
998 |a eng  |b 03-21-95  |c -  |d m   |e -  |f eng  |g enk  |h 0  |i 1 
907 |a .b1862246x  |b 10-24-18  |c 11-28-94 
944 |a MARS - RDA ENRICHED 
907 |a .b1862246x  |b 12-17-08  |c 11-28-94 
907 |a .b1862246x  |b 05-14-07  |c 11-28-94 
948 |a ctr03/04 : apr : mw : mph to eng transfer project 
999 f f |i 6831eb5f-4e2b-56e8-a373-bba24d10f900  |s f6fdda30-7492-5137-8287-f6296797ae1b 
952 f f |p Can circulate  |a University of Colorado Boulder  |b Boulder Campus  |c Offsite  |d PASCAL Offsite  |e QA76.758 .M275 1991  |h Library of Congress classification  |i book  |m P204311401018  |n 1