Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

SPARK 2014 USERS GD

Language EnglishEnglish
Book Paperback
Book SPARK 2014 USERS GD Adacore Team
Libristo code: 16491706
Publishers ARTPOWER INTL PUB, June 2017
SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of h... Full description
? points 98 b
14 337 Ft
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Les Coquecigrues Joel Gissy / Book Paperback
common.buy 3 008 Ft
Poemas De Un Tiempo Olvidado Pablo Alberto Cuadra / Book Paperback
common.buy 3 962 Ft
Leichte Sprache. Untersuchung zur Binnendifferenzierung des Adressatenkreises Moritz Ballerstädt / Book Paperback
common.buy 16 628 Ft
El nacimiento y consolidación de la asistencia psiquiátrica en Navarra, 1868-1954 Javier Aztarain Díez / Book Paperback
common.buy 6 252 Ft
NTA UGC NET Paper 1 Book 2023 (Hindi Edition) EduGorilla Prep Experts / Book Paperback
common.buy 10 667 Ft
Liftarparet Cupido / Audiobook MP3
common.buy 1 143 Ft
Sigmund Freud - Das Unbehagen in der Kultur Tatjana Stuhlmann / Book Paperback
common.buy 5 942 Ft

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 extend

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name SPARK 2014 USERS GD
Author Adacore Team, Altran Uk Ltd
Language English
Binding Book - Paperback
Date of issue 2017
Number of pages 312
EAN 9789888407163
ISBN 9888407163
Libristo code 16491706
Publishers ARTPOWER INTL PUB
Weight 726
Dimensions 216 x 280 x 17

Categories

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Arenas of Comfort in Adolescence Jeylan T. Mortimer / Book Hardback
common.buy 75 390 Ft
YAKUZA & HIS OMEGA RAW DESIRE V04 V04 / Book Paperback
common.buy 5 021 Ft
Atlantida Pierre Benoit / Book Paperback
common.buy 8 131 Ft
Adam Bede George Eliot / Book Paperback
common.buy 7 428 Ft
Apple Eater Annemarieke Tazelaar / Book Paperback
common.buy 4 989 Ft
The Magnificent Ambersons Booth Tarkington / Book Paperback
common.buy 5 517 Ft
A Dubious Secret: A Colton Banyon Mystery MR Gerald J Kubicki / Book Paperback
common.buy 5 355 Ft
Family Maps of Dade County, Missouri Gregory a Boyd J D / Book Paperback
common.buy 11 565 Ft
Intersections: Where Faith & Life Meet: Prayer Cardelia Howell Diamond / Book Paperback
common.buy 2 920 Ft
Dark Lane Anthology Tim Jeffreys / Book Paperback
common.buy 5 604 Ft
Reaping the Whirlwind Mrs. Daniel / Book Paperback
common.buy 7 997 Ft
Hospice RN BSN MARKS / Book Paperback
common.buy 3 962 Ft
Human Communication as Narration: Toward a Philosophy of Reason, Value, and Action Walter R. Fisher / Book Paperback
common.buy 12 944 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?