:: eBooks :: Kembali

eBooks :: Kembali

The correctness-by-construction approach to programming

edited by Derrick G. Kourie and Bruce W. Watson (Springer-Verlag, 2012)

 Abstrak

Kourie and Watson advocate an approach known as “correctness-by-construction,” a technique to derive algorithms that relies on formal theory, but that requires such theory to be deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that is needed to understand and apply the method. They then detail a series of graded examples ranging from binary search to lattice cover graph construction and finite automata minimization in order to show how it can be applied to increasingly complex algorithmic problems.

 File Digital: 1

Shelf
 The Correctness-by-Construction Approach to Programming.pdf :: Unduh

 Metadata

No. Panggil : e20409956
Entri tambahan-Nama orang :
Subjek :
Penerbitan : Berlin: Springer-Verlag, 2012
Sumber Pengatalogan: LibUI eng rda
Tipe Konten: text
Tipe Media: computer
Tipe Pembawa: online resource
Deskripsi Fisik:
Tautan: http://link.springer.com/book/10.1007%2F978-3-642-27919-5
Lembaga Pemilik:
Lokasi:
  • Ketersediaan
  • Ulasan
No. Panggil No. Barkod Ketersediaan
e20409956 20-23-40649360 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20409956