Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
  • Bahasa
Ditemukan 2 dari pencarian Anda melalui kata kunci: subject="Software engineering"
cover
High Integrity Software: The Spark Approach to Safety and Security
Komentar Bagikan
Barnes, John

This book provides an accessible introduction to the SPARK programming language. Updated 'classic' that covers all of the new features of SPARK, including Object Oriented Programming. The only book on the market that covers this important and robust programming language. CD-ROM contains the main SPARK tools and additional manuals giving all the information needed to use SPARK in practice. …

Edisi
-
ISBN/ISSN
0321136160
Deskripsi Fisik
430 hlm.; 24 cm
Judul Seri
-
No. Panggil
005.12 BAR h
cover
Software engineering
Komentar Bagikan
Horton, MarciaHirsch, MichaelSommerville, Ian

This is a special edition of an established title widely used by collages and universities throughout the world. Pearson published this exclusive edition for the benefit of students oustside the United States and Canada. If you purchased this book within the United States or canada you should be aware that it has been imported without the approval of the Publisher or the Author.

Edisi
9
ISBN/ISSN
9780137053469
Deskripsi Fisik
xv,772 hlm. : tabel. ; 23 cm.
Judul Seri
-
No. Panggil
005.1 SOM s