Adacore

Sidebar

Availability

Price

$
to
$

Product type

Format

Author

Filter
  • 10
  • 15
  • 20
  • 25
  • 30
  • 50
  • Featured
  • Most relevant
  • Best selling
  • Alphabetically, A-Z
  • Alphabetically, Z-A
  • Price, low to high
  • Price, high to low
  • Date, old to new
  • Date, new to old
Sort

Sort by:

  • Featured
  • Most relevant
  • Best selling
  • Alphabetically, A-Z
  • Alphabetically, Z-A
  • Price, low to high
  • Price, high to low
  • Date, old to new
  • Date, new to old
  • SPARK 2014 Reference Manual: Release 19.0w by Adacore
    Adacore

    SPARK 2014 Reference Manual: Release 19.0w

    SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of high-assurance software development. SPARK 2014 is based on Ada 2012, both subsetting the language to remove features that defy verification, but also extending the system of...
    $17.54
    $17.54
    $17.54
  • SPARK 2014 User's Guide: Release 19.0w by Adacore
    Adacore

    SPARK 2014 User's Guide: Release 19.0w

    SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of high-assurance software development. SPARK 2014 is based on Ada 2012, both subsetting the language to remove features that defy verification, but also extending the system of...
    $19.88
    $19.88
    $19.88

Recently Viewed Products