Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
  • Bahasa
Ditemukan 1 dari pencarian Anda melalui kata kunci: author="Barnes, John"
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