Code: 19051986
SPARK 2014 Reference Manual
by ADACORE
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 ver ... more
- Language:
English - Binding: Paperback
- Number of pages: 260
Publisher: 12th Media Services, 2018
- More about this
17.14 €
RRP: 17.43 €
You save 0.30 €
In stock at our supplier
Shipping in 14 - 21 days
You might also like
-
Murdoku
13.71 € -29 % -
Berserk Deluxe Volume 1
37.71 € -21 % -
Threshing Day (Wing and Claw Collection)
17.74 € -29 % -
Moonwalk
14.01 € -18 % -
Threshing Day (Limited Deluxe Edition)
20.97 € -29 % -
Berserk Deluxe Volume 2
35.29 € -32 % -
White Nights
4.53 € -14 % -
The Score
12.30 € -20 % -
Dancing The Dream
26.11 € -24 % -
The Odyssey
16.43 € -23 % -
Berserk Deluxe Volume 3
55.26 € -
Kid's Box New Generation Level 2 Activity Book with Digital Pack British English
10.88 € -8 % -
The Mistake
11.29 € -16 % -
Murdoku Volume 2: Back in Time
13.71 € -29 % -
Onyx Storm (Deluxe Limited Edition) (The Empyrean, 3)
24.10 € -25 % -
Jujutsu Kaisen, Vol. 26
7.66 € -30 % -
Lord of Mysteries, Vol. 1: The Clown, Part I
15.32 € -22 % -
Kid's Box New Generation Level 2 Pupil's Book with eBook British English
15.52 € -19 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
17.04 € -13 % -
Kid's Box New Generation Level 1 Activity Book with Digital Pack British English
12.40 € -
The Deal
12.30 € -21 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about SPARK 2014 Reference Manual
You get 42 loyalty points
Book synopsis
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 ext
Book details
Book category Books in English Computing & information technology Computer programming / software development Software Engineering
17.14 €
- Full title: SPARK 2014 Reference Manual
- Subtitle: Release 19.0w
- Author: ADACORE
- Language: English
- Binding: Paperback
- Number of pages: 260
- EAN: 9781680921809
- ISBN: 9781680921809
- ID: 19051986
- Publisher: 12th Media Services
- Weight: 608 g
- Dimensions: 279 × 216 × 14 mm
- Date of publishing: 14. February 2018
Collection points Bratislava a 13249 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
26502 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)