Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Building High Integrity Applications with SPARK

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Building High Integrity Applications with SPARK John W. McCormick
Libristo kod: 09237427
Nakladnici Cambridge University Press, kolovoz 2015
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that s... Cijeli opis
? points 416 b
171.99 €
Vanjske zalihe Šaljemo za 14-21 dana

Do 30 dana za povrat

Kupci su kupili i

Bela Lugosi / Knjiga Tvrdi uvez
common.buy 28.20 €
POWER PLAYERS. LA ELITE DEL COLUMPIO HEROES / Knjiga Tvrdi uvez
common.buy 3.83 €
Rajaton rusketus Mika Seppala / Knjiga Meki uvez
common.buy 17.89 €
Alphonse Mucha Tushita-Verlag / Knjiga Tvrdi uvez
common.buy 8.58 €
Guiaburros: Budismo Sebastian Vazquez / E-knjiga Adobe ePub DRM
common.buy 3.12 €
Logistikmanagement Holger Arndt / Knjiga Meki uvez
common.buy 19.00 €
Mao Zedong Renaud Juste / E-knjiga Adobe ePub DRM
common.buy 11.01 €
LINGEA CZ - Madrid - Poznejte - 2. vydání / Knjiga Meki uvez
common.buy 10.20 €
Fiabe e leggende Studio Ghibli Ippei Otsuka / Knjiga Meki uvez
common.buy 19.91 €
Pflanzen des Voralpenraumes und ihre Nutzung als Heilkrauter Franz Daffner / Knjiga Meki uvez
common.buy 38.31 €
Es geschah im Nachbarhaus Willi Fährmann / Knjiga Meki uvez
common.buy 6.46 €
Bébé Balthazar - Bonne nuit moi - Pédagogie Montessori 0/3 ans Marie-Hélène Place / Knjiga Knjiga
common.buy 9.80 €
Den Gegenstrom schwimmen Maria Hummel / Knjiga Meki uvez
common.buy 13.84 €
Inwestycje Jajuga Krzysztof / Knjiga Meki uvez
common.buy 23.25 €
Friedrich Hebbel's Sammtliche Werke. Funfter Bd. (Ed.1891) Friedrich Hebbel / Knjiga Meki uvez
common.buy 19.40 €
SPA-SCIENCEFUSION SPANISH Houghton Mifflin Harcourt / Knjiga Meki uvez
common.buy 64.60 €
Os significados da formacao do psicologo De Melo Barros Livia / Knjiga Meki uvez
common.buy 48.93 €
Polska a Żydzi Wolniewicz Bogusław / Knjiga Meki uvez
common.buy 15.36 €
Una historia violenta Soler / Knjiga Meki uvez
common.buy 23.15 €
Barcelona Ingelmo / Knjiga Meki uvez
common.buy 23.95 €
Les Embruns de Kos Stamatios Tzitzis / Knjiga Meki uvez
common.buy 14.85 €
El gran libro de los quiénes Laura Jaffé / Knjiga Meki uvez
common.buy 14.75 €
Espejismo 38 KELL WESTO / Knjiga Meki uvez
common.buy 27.59 €

Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Building High Integrity Applications with SPARK
Autor John W. McCormick, Peter C. Chapin
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2015
Broj stranica 382
EAN 9781107040731
ISBN 1107040736
Libristo kod 09237427
Nakladnici Cambridge University Press
Težina 64
Dimenzije 237 x 162 x 25

Kategorija

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Introduction to Indian Philosophy Roy W. Perrett / Knjiga Meki uvez
common.buy 46.10 €
Smee & Other Stories A M Burrage / E-knjiga Adobe ePub DRM
common.buy 14.15 €
Neurodegenerative Diseases: Integrative PPPM Approach as the Medicine of the Future Silvia Mandel / Knjiga Meki uvez
common.buy 154.29 €
Routledge Revivals: Patriotism: The Making and Unmaking of British National Identity (1989) Raphael Samuel / Knjiga Tvrdi uvez
common.buy 289.58 €
Slouching Towards Gomorrah Robert H. Bork / Knjiga Meki uvez
common.buy 14.45 €
Allure Of Gentleness Dallas Willard / Knjiga Meki uvez
common.buy 15.06 €
Angličtina 17. Pocity a vlastnosti collegium / Tiskanica Karte
common.buy 1.61 €
Something Like a Love Affair Julian Symons / Knjiga Tvrdi uvez
common.buy 26.68 €
AmeRican Tato Laviera / Knjiga Meki uvez
common.buy 11.52 €
Elephant Butte Reservoir Lake Fun Book: A Fun and Educational Book on Elephant Butte Reservoir Lake Jobe Leonard / Knjiga Meki uvez
common.buy 10.30 €
Reading for Redemption Christian R. Davis / Knjiga Tvrdi uvez
common.buy 29.72 €
Advances in Applied Strategic Mine Planning Roussos Dimitrakopoulos / Knjiga Tvrdi uvez
common.buy 231.34 €
What Wall Street Won't Tell You: a Guide to Personal Finance and Investing Ryan Jones / Knjiga Meki uvez
common.buy 14.75 €
Death at the Black Bull Frank Hayes / Knjiga Meki uvez
common.buy 20.31 €
Top
Konosuba: God's Blessing on This Wonderful World!, Vol. 6 (light novel) Natsume Mishima / Knjiga Meki uvez
common.buy 11.32 €
An introverts guide to public speaking Graham / Knjiga Meki uvez
common.buy 10.30 €
Top
Monsters on a Plane Zanna Davidson / Knjiga Meki uvez
common.buy 6.66 €
Three-Mile Walk Banning Liebscher / Knjiga Tvrdi uvez
common.buy 20.31 €
Lonely Planet Andalucia Planet Lonely / Knjiga Meki uvez
common.buy 24.16 €
Blue Loves You! (Blue's Clues & You) Tex Huntley / Knjiga Leporelo
common.buy 6.26 €
Annual Report of the Bureau of Labor Statistics and Inspection of the State of Missouri Missouri Bureau of Labor Statistics and / Knjiga Meki uvez
common.buy 27.80 €
Top
Advanced Automotive Fault Diagnosis Denton / Knjiga Meki uvez
common.buy 71.07 €
Digital Pill Christoph Franz / Knjiga Tvrdi uvez
common.buy 28.61 €
Wristwatch Annual 2023 Marton Radkai / Knjiga Meki uvez
common.buy 30.22 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?