Search for 'se,phr:"McGraw-Hill international series in software engineering"'

An introduction to program design /

]]> By Sargent, David,.
London ; | New York : McGraw-Hill, 1991 .
xiii, 444 p. : , Includes index. 25 cm..
0077072464

]]> Place hold on An introduction to program design /

An introduction to formal specification with Z and VDM /

]]> By Sheppard, Deri..
London ; | New York : McGraw-Hill, 1995 .
xvii, 398 p. : 25 cm..
0077079078

]]> Place hold on An introduction to formal specification with Z and VDM /

Coding in Turbo Pascal /

]]> By Sargent, David,.
London ; | New York : McGraw-Hill, 1994 .
xi, 468 p. : 25 cm..
0077079582

]]> Place hold on Coding in Turbo Pascal /

Concurrent systems : formal development in CSP /

]]> By Hinchey, Michael G..
London ; | New York : McGraw-Hill, 1995 .
xiv, 181 p. ; 25 cm..
0077076494

]]> Place hold on Concurrent systems :

Software quality assurance : a student introduction /

]]> By Ince, D..
London ; | New York : McGraw-Hill, 1995 .
xi, 242 p. : 25 cm..
0077090969

]]> Place hold on Software quality assurance :

SSADM : a practical approach /

]]> By Ashworth, Caroline,.
London ; | New York : McGraw-Hill, 1990 .
x, 291 p. : 25 cm..
0077072138

]]> Place hold on SSADM :

A programming approach to formal methods /

]]> By Casey, Chris..
London ; | New York : McGraw-Hill Book Co., 1994 .
xii, 262 p. : 25 cm..
007707968X

]]> Place hold on A programming approach to formal methods /

Object-oriented software engineering with C++ /

]]> By Ince, D..
London. | New York : McGraw-Hill Book Co., 1991 .
viii, 231 p. : 25 cm..
0077074025

]]> Place hold on Object-oriented software engineering with C++ /

Systems construction and analysis : a mathematical and logical framework /

]]> By Fenton, Norman E.,.
London ; | New York : McGraw-Hill, 1993 .
xiv, 465 p. : 25 cm..
0077074319

]]> Place hold on Systems construction and analysis :

Safer C : developing software for high-integrity and safety-critical systems /

]]> By Hatton, Les,.
London : McGraw-Hill, 1995 .
xiii, 228 p. : 25 cm. +.
0077076400

]]> Place hold on Safer C :

Introduction to compiling techniques : a first course using ANSI C, LEX, and YACC /

]]> By Bennett, J. P..
London ; | New York : McGraw-Hill, 1996 .
xiv, 283 p. : 23 cm. .
007709221X

]]> Place hold on Introduction to compiling techniques :

Object-oriented specification and design with C++ /

]]> By Henderson, Peter,.
London. | New York : McGraw-Hill, 1993 .
p. cm. 0077075854

]]> Place hold on Object-oriented specification and design with C++ /

Introduction to software project management and quality assurance /

]]> By Ince, D..
London ; | New York : McGraw-Hill Book Co., 1993 .
xi, 227 p. : 25 cm. +.
007707436X

]]> Place hold on Introduction to software project management and quality assurance /

Introduction to VDM /

]]> By Woodman, Mark..
London. | New York : McGraw-Hill Book Co., 1993 .
xiii, 240 p. : 25 cm..
0077074343

]]> Place hold on Introduction to VDM /

Introducing specification using Z : a practical case study approach /

]]> By Ratcliff, B..
London ; | New York : McGraw-Hill, 1994 .
xii, 308 p. : 25 cm..
0077079655

]]> Place hold on Introducing specification using Z :

SSADM version 4 : a users guide/

]]> By Eva, Malcolm,.
London | New York : McGraw-Hill, 1994 .
xi, 380 p. : , Previous ed.: 1992. 25 cm +.
0077074092 (a) | 9780077074098 | 0077079590 (m)

]]> Place hold on SSADM version 4 :