Building High Integrity Applications with SPARK 1
bokomslag Building High Integrity Applications with SPARK
Data & IT

Building High Integrity Applications with SPARK

John W McCormick • Peter C Chapin • John W McCormick • John W McCormick

Inbunden

1959:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 382 sidor
  • 2015
The formally defined programming language SPARK provides a means to guarantee that a computer program has no errors. This makes it a natural system for designing safety- and security-critical applications. This first introduction to SPARK 2014 will allow students and developers to master the basic concepts for building systems with SPARK.
  • Författare: John W McCormick, Peter C Chapin, John W McCormick, John W McCormick
  • Format: Inbunden
  • ISBN: 9781107040731
  • Språk: Engelska
  • Antal sidor: 382
  • Utgivningsdatum: 2015-08-31
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Building High Integrity Applications with SPARK

    Building High Integrity Applications ...

    John W McCormick, Peter C Chapin, John W McCormick, John W McCormick

    889:-
  2. bokomslag Building Parallel, Embedded, and Real-Time Applications with Ada

    Building Parallel, Embedded, and Real...

    John W McCormick, Frank Singhoff, Jerome Hugues, John W McCormick, John W McCormick

    Inbunden

    1829:-
  3. bokomslag Water Rights on the Mokelumne River and Legal Issues at the East Bay Municipal Utility District, 1927-1966

    Water Rights on the Mokelumne River a...

    Germaine Laberge, John W McFarland, Frank E Howard, John W McFarland

    Klotband

    469:-
  4. bokomslag Microsurgery for Cerebral Ischemia

    Microsurgery for Cerebral Ischemia

    S J Peerless, C W McCormick, S J Peerless, C W McCormick

    Pocket

    749:-
  5. bokomslag Programming and Problem Solving with Ada 95

    Programming and Problem Solving with ...

    Nell Dale, Chip Weems, John W McCormick

    Pocket

    4029:-
  6. bokomslag Elect Lady in Ministry Now

    Elect Lady in Ministry Now

    Queen Esther W McCormick D Min, Queen Esther W McCormick D Min, Queen Esther W McCormick D Min

    Pocket

    209:-
  7. bokomslag German Essays on Film

    German Essays on Film

    Richard McCormick, Alison Guenther-Pal, Richard W McCormick, Alison Guenther-Pal

    Pocket

    849:-
  8. bokomslag New Englanders on the Ohio Frontier

    New Englanders on the Ohio Frontier

    Virginia E McCormick, Robert W McCormick, Virginia E McCormick, Robert W McCormick

    Pocket

    379:-
  9. bokomslag Water Rights on the Mokelumne River and Legal Issues at the East Bay Municipal Utility District, 1927-1966

    Water Rights on the Mokelumne River a...

    Germaine Laberge, John W McFarland, Frank E Howard, John W McFarland, Frank E Howard

    Pocket

    259:-
  10. bokomslag Alps

    Alps

    William Martin Conway, A D B McCormick, A D B McCormick, A D B McCormick, A D B McCormick

    Pocket

    479:-

Andra av samma författare

  1. bokomslag Building Parallel, Embedded, and Real-Time Applications with Ada

    Building Parallel, Embedded, and Real...

    John W McCormick, Frank Singhoff, Jerome Hugues, John W McCormick, John W McCormick

    Inbunden

    1829:-
  2. bokomslag Programming and Problem Solving with Ada 95

    Programming and Problem Solving with ...

    Nell Dale, Chip Weems, John W McCormick

    Pocket

    4029:-