Text

High Integrity Software: The Spark Approach to Safety and Security

---

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.
Technology:
The SPARK language is aimed at writing reliable software that combines simplicity and rigour within a practical framework. Because of this, many safety-critical, high integrity systems are developed using SPARK.

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

005.12 BAR h

Penerbit

Great Britain : Addison Wesley., 2003

Deskripsi Fisik

430 hlm.; 24 cm

Bahasa

English

ISBN/ISSN

0321136160

Klasifikasi

005.12

Tipe Isi

text

Tipe Media

unmediated

Tipe Pembawa

other (unmediated)

Edisi

-

Subjek

Komputer, Software
Computer software--Development
Software engineering
Programming

Info Detail Spesifik

-

Pernyataan Tanggungjawab

John Barnes

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar