Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

SPARK 2014 USERS GD

Língua InglêsInglês
Livro Capa mole
Livro SPARK 2014 USERS GD Adacore Team
Código Libristo: 16491706
Editoras ARTPOWER INTL PUB, junho 2017
SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of h... Descrição completa
? points 81 b
33.43 €
Armazenamento externo Envio em 9-15 dias

Até 30 dias para devoluções

Os clientes também compraram

Les Coquecigrues Joel Gissy / Livro Capa mole
common.buy 7.47 €
Poemas De Un Tiempo Olvidado Pablo Alberto Cuadra / Livro Capa mole
common.buy 8.78 €
Leichte Sprache. Untersuchung zur Binnendifferenzierung des Adressatenkreises Moritz Ballerstädt / Livro Capa mole
common.buy 40.20 €
El nacimiento y consolidación de la asistencia psiquiátrica en Navarra, 1868-1954 Javier Aztarain Díez / Livro Capa mole
common.buy 15.45 €
NTA UGC NET Paper 1 Book 2023 (Hindi Edition) EduGorilla Prep Experts / Livro Capa mole
common.buy 25.15 €
Liftarparet Cupido / Audiolivro MP3
common.buy 2.82 €
Sigmund Freud - Das Unbehagen in der Kultur Tatjana Stuhlmann / Livro Capa mole
common.buy 14.44 €

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

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo SPARK 2014 USERS GD
Autor Adacore Team, Altran Uk Ltd
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2017
Número de páginas 312
EAN 9789888407163
ISBN 9888407163
Código Libristo 16491706
Editoras ARTPOWER INTL PUB
Peso 726
Dimensões 216 x 280 x 17

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Arenas of Comfort in Adolescence Jeylan T. Mortimer / Livro Livro de capa dura
common.buy 191.85 €
Principal
YAKUZA & HIS OMEGA RAW DESIRE V04 V04 / Livro Capa mole
common.buy 11.20 €
Atlantida Pierre Benoit / Livro Capa mole
common.buy 19.19 €
Adam Bede George Eliot / Livro Capa mole
common.buy 16.36 €
Apple Eater Annemarieke Tazelaar / Livro Capa mole
common.buy 11.00 €
The Magnificent Ambersons Booth Tarkington / Livro Capa mole
common.buy 12.21 €
A Dubious Secret: A Colton Banyon Mystery MR Gerald J Kubicki / Livro Capa mole
common.buy 11.81 €
Family Maps of Dade County, Missouri Gregory a Boyd J D / Livro Capa mole
common.buy 25.45 €
Intersections: Where Faith & Life Meet: Prayer Cardelia Howell Diamond / Livro Capa mole
common.buy 6.76 €
Dark Lane Anthology Tim Jeffreys / Livro Capa mole
common.buy 13.23 €
Reaping the Whirlwind Mrs. Daniel / Livro Capa mole
common.buy 19.39 €
Hospice RN BSN MARKS / Livro Capa mole
common.buy 9.39 €
Human Communication as Narration: Toward a Philosophy of Reason, Value, and Action Walter R. Fisher / Livro Capa mole
common.buy 31.21 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?