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
.

Rigorous software development : an introduction to program verification / Jose Bacelar Almeida ... [et al.]

  • Linear

  • MARC

  •  
    QA76.76.V47
    R54 2011
     
    922633 (Shelf),BOK
    Rigorous software development : an introduction to program verification. - London , 2011.

         xii, 263 p. : ill. ; 23 cm Undergraduate topics in computer science.
         Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C.

         ISBN 9780857290175 (pbk.)
         .-ISBN 0857290177 (pbk.).
         
         1. Computer software - Development 2. Computer software - Verification.I. Almeida, Jose Bacelar II. Title III. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    922633ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top