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
.

Automated theorem proving in software engineering / Johann M. Schumann foreward by Donald Loveland

  • Linear

  • MARC

  •  
    QA76.758
    .S38 2001
     
    522892 (Shelf),BOK
    Schumann, Johann M , 1960-

         Automated theorem proving in software engineering. - Berlin , 2001.

         xiv, 228 p. : ill. ; 24 cm.

         ISBN 3540679898.
         
         1. Software engineering 2. Automatic theorem proving.I. Title
         Library : UiTM Shah Alam; UITM Perlis
    Accn No.Item StatusAdd IdLocationSMDItem Category
    522892ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top