High integrity Ada : the SPARK approach / John Barnes with Praxis Critical Systems Limited
-
| | | | | | High integrity Ada : the SPARK approach. - Harlow, England. - Reading, Mass. , 1997. | | xvi, 368 p.bill. ; 25 cm. + 1 computer laser optical disc (4 3/4 in.). | | System requirements for computer disc: IBM-PC or compatible; Windows 3.1 or later; CD-ROM drive. | | ISBN 0201175177 | | .-ISBN 9780201175172. | | | | 1. Ada (Computer program language).I. Praxis Critical Systems Limited. II. Title | | http://ptarpp2.uitm.edu.my/ptarpprack/RAK-15.gif | | | Library : UiTM Shah Alam |
| | Accn No. | Item Status | Add Id | Location | SMD | Item Category | | 819887 | Shelf | | PTAR KAMPUS PUNCAK PERDANA(PP) | BOOK | RAK TERBUKA (OPEN SHELVES) | | CP819888 | Shelf | | PTAR KAMPUS PUNCAK PERDANA(PP) | COMPACT DISC | KAT |
|
|
|
