Formal Methods: Theory and Practice

Edition

-

ISBN/ISSN

0-632-01931-X

Collation

ix, 164 p.; tab.; 23 cm.

Series Title

-

Call Number

005.131 For f

Software Engineering : Analysis and Design

Edition

-

ISBN/ISSN

0-07-707202-2

Collation

xiii,161 p.;ill.; 24 cm.

Series Title

-

Call Number

005.1 Eas s

SOFTWARE ACTIVITIES: FOR GCSE PROJECTS

Edition

1

ISBN/ISSN

0-340-47153-0

Collation

112 p. : ill. ; 23 cm.

Series Title

-

Call Number

004 Gat s

Computers and informatics in developing countries.

Edition

-

ISBN/ISSN

-

Collation

xiii, 130 p.: ill.; 24 cm.

Series Title

-

Call Number

004.091 Mun c

An introduction to program fault tolerance

Edition

-

ISBN/ISSN

0-13-493511-X

Collation

xx, 352 p. ill. : 24 cm.

Series Title

-

Call Number

005.12 Mil i

Computers and informatics in developing countries

-