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
.

Communicating embedded systems : software and design : formal methods / edited by Claude Jard, Olivier H. Roux

  • Linear

  • MARC

  •  
    TK7895.E42
    A387 2010
     
    914657 (Shelf),BOK
    Communicating embedded systems : software and design : formal methods. - London , 2010.

         xii, 261 p. : ill. ; 25 cm.

         ISBN 9781848211438
         .-ISBN 1848211430.
         
         1. Embedded computer systems - Programming 2. Embedded computer systems - Design and construction 3. Computer software - Development 4. Formal methods (Computer science) - Design and construction.I. Jard, Claude II. Roux, Olivier H. III. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    914657ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top