FME 2001 : formal methods for increasing software productivity / Jose Nuno Oliveira, Pamela Zave, [editors]
-
| | | International Symposium of Formal Methods Europe |
| FME 2001 : formal methods for increasing software productivity. - Berlin , 2001. | xiii, 628 p. : ill. ; 24 cm Lecture notes in computer science v. 2021. | ISBN 3540417915. | | 1. Computer software - Congresses - Development.I. Oliveira, Jose Nuno II. Zave, Pamela,1948- III. Title IV. Series | | Library : UiTM Shah Alam |
| Accn No. | Item Status | Add Id | Location | SMD | Item Category | 518984 | Shelf | | PERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4) | BOOK | RAK TERBUKA (OPEN SHELVES) | 519976 | Shelf | | PERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4) | BOOK | RAK TERBUKA (OPEN SHELVES) |
|
|
|