RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings /

Argitaratua 1983

Software metrics /

nork Gilb, Tom
Argitaratua 1977

Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings /

Argitaratua 1983

Elements of software science /

nork Halstead, Maurice H. (Maurice Howard), 1918-
Argitaratua 1977

Principles of artificial intelligence and expert systems development /

nork Rolston, David W.
Argitaratua 1988

VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /

Argitaratua 1988

Artificial intelligence : applications in the future of software engineering /

nork Partridge, D. A.
Argitaratua 1986

Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /

Argitaratua 1985

MetaSoft primer : towards a metalanguage for applied denotational semantics /

nork Blikle, Andrzej
Argitaratua 1987

Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17-19, 1987 : proceedings /

Argitaratua 1987

Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings /

Argitaratua 1988

Software reliability modelling and identification /

Argitaratua 1988

Microprocessor software project management /

nork Fathi, Eli T.
Argitaratua 1985

RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan /

Argitaratua 1986

Object-oriented programming an evolutionary approach /

nork Cox, Brad J.
Argitaratua 1986

Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 /

Argitaratua 1984

Computer organization : hardware/software /

nork Gorsline, George W.
Argitaratua 1986

Empirical foundations of information and software science III /

Argitaratua 1987

Software system design methods : the challenge of advanced computing technology /

Argitaratua 1986

The Software catalog.

Argitaratua 1983