:: eBooks :: Kembali

eBooks :: Kembali

Foundations of algebraic specification and formal software development

Donald Sannella, Andrzej Tarlecki (Springer-Verlag, 2012)

 Abstrak

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.
This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods.

 File Digital: 1

Shelf
 Foundations of Algebraic Specification and Formal Software Development.pdf :: Unduh

LOGIN required

 Metadata

No. Panggil : e20407790
Entri utama-Nama orang :
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-17336-3
Lembaga Pemilik:
Lokasi:
  • Ketersediaan
  • Ulasan
No. Panggil No. Barkod Ketersediaan
e20407790 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20407790