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
.

Lectures on formal methods and performance analysis : revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000 / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen, editors

  • Linear

  • MARC

  •  
    QA76.9.F67
    E34 2001
     
    513095 (Shelf),BOK
    Lectures on formal methods and performance analysis : revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000. - Germany , 2001.

         vi, 429 p. : ill. ; 23 cm.

         ISBN 3540424792.
         
         1. Formal methods (Computer science) - Congresses.I. Brinksma, Ed II. Hermanns, Holger III. Katoen, Joost-Pieter IV. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    513095ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top