Engineering theories of software construction /

Engineering theories of software construction /

Saved in:
Bibliographic Details
Corporate Author: NATO Advanced Study Institute on Engineering Theories of Software Construction
Other Authors: Broy, M., 1949-, Hoare, C. A. R. (Charles Antony Richard), 1934-, Steinbrüggen, Ralf
Format: Conference Proceeding Microfilm Book
Language:English
Published: Amsterdam : IOS Press, 2001.
Series:NATO science series. Computer and systems sciences ; v. 180.
Subjects:
Software engineering.
Object-oriented programming (Computer science)
LEADER 02000cam a2200433 a 4500
001 c000379385
003 CARM
005 20101209175319.0
007 hd afb016baca
007 hd bfb016baaa
008 101209s2001 ne a 101 0 eng d
010 |a sn 94086340 
019 1 |a 25397363  |5 LACONCORD2021 
020 |a 1586031724 (IOS Press) 
020 |a 4274904350 (Ohmsha) 
035 |a (OCoLC)32681794  |5 LACONCORD2021 
040 |a QU 
042 |a lcd 
245 0 0 |a Engineering theories of software construction /  |c edited by Tony Hoare, Manfred Broy and Ralf Steinbrüggen. 
260 |a Amsterdam :  |b IOS Press,  |c 2001. 
300 |a ix, 357 p. :  |b ill. : ;  |c 25cm. 
310 |a Monthly 
362 0 |a Anno 1, n. 1 (luglio 1926)- 
490 1 |a NATO Science Series. Series F, Computer and systems sciences ;  |v v. 180. 
500 |a "Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction, 25 July-6 August 2000, Marktoberdorf, Germany"--T.p. verso. 
515 |a Vol. 2, no. 9/10 incorrectly called no. 8/9. 
533 |a Microfilm.  |m anno 1,no. 1-anno 3,no. 1 (luglio 1926-genn. 1928):[Gaps]  |b New York :  |c New York Public Library,  |d 1981.  |e 1 microfilm reel ; 35 mm. 
650 0 |a Software engineering. 
650 0 |a Object-oriented programming (Computer science) 
700 1 |a Broy, M.,  |d 1949- 
700 1 |a Hoare, C. A. R.  |q (Charles Antony Richard),  |d 1934- 
700 1 |a Steinbrüggen, Ralf. 
711 2 |a NATO Advanced Study Institute on Engineering Theories of Software Construction  |d (2000 :  |c Marktoberdorft, Germany) 
830 0 |a NATO science series.  |n Series F,  |p Computer and systems sciences ;  |v v. 180. 
852 8 |b CARM  |p 0462272  |f BK 
852 8 |b SCAN  |h A3:AE14G0  |i C12634  |p 0462272  |f BK 
999 f f |i 5d4950ea-1e5d-5459-b6c5-eadcc5742178  |s 3222e757-c0c3-54b0-b349-ffbea50103df 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |i book  |m 0462272 
952 f f |a CAVAL  |b CAVAL  |c CAVAL  |d Unmapped Location  |e C12634  |f A3:AE14G0  |h Other scheme 

Similar Items