Shah Alam

  • UiTM Shah Alam
  • UITM Sarawak
  • UITM Perlis
  • UITM Pulau Pinang
  • UITM Sabah
  • UiTM Negeri Sembilan
  • UiTM Johor
  • UITM Melaka
  • UITM Pahang
  • UITM Kelantan
  • UITM Kedah
  • UITM Perak
  • UITM Terengganu
  • UiTM Libraries
.

Understanding formal methods / written and translated by Jean Fran?cois Monin ; translation editor, Michael G. Hinchey.

  • Linear

  • MARC

  •  
    QA76.6
    .M6513 2003
     
    579150 (Shelf),BOK
    Monin, Jean Fran?cois , 1960-

         Understanding formal methods. - London. - New York , 2003.

         xv, 275 p. ; 24 cm.
         "... published with the help of the French Minist?ere de la culture--Centre national du livre.".

         ISBN 1852332476 (alk. paper).
         
         1. Formal methods (Computer science).I. Hinchey, Michael G.,1969- II. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    579150ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top