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

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Formal Techniques for Safety-Critical Systems Cyrille Artho
Código Libristo: 02465622
Editoras Springer International Publishing AG, abril 2014
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, hel... Descrição completa
? points 132 b
54.29 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Aimer son prochain, qu'en dit la Bible / Livro Capa mole
common.buy 11.39 €
Commentaire Du Code de Commerce: Droit Commercial. Livre1, Tit8, T2 BEDARRIDE-J / Livro Capa mole
common.buy 31.98 €
El Derecho Constitucional al buen gobierno local CLEMENTE MARTINEZ / Livro Capa mole
common.buy 51.67 €
Blue Shirt. Scars of Ice. Tom 2 Julia Popiel / Livro Capa mole
common.buy 11.70 €
Djento & Co TORINO / Livro Capa mole
common.buy 20.88 €
Debian GNU-Linux - services réseaux DUTREIX / Livro Capa mole
common.buy 43.09 €
Les géographes et le tiers temps - sports, loisirs, aménagements Livro Capa mole
common.buy 17.75 €
Bezaubernde Balladen und geistreiche Gedichte Gunter Blaschke / Livro Capa mole
common.buy 18.86 €
Sirotkův triumf Robert Buettner / Livro Capa mole
common.buy 8.06 €
Mehr als Clean Code Andreas Lennartz / Livro Capa mole
common.buy 13.31 €
P.A.E en la prevención de complicaciones cutáneas por encamamiento Rosti Gabriel Ortega Flores / Livro Capa mole
common.buy 47.02 €
Siguiendo Los Pasos de Cristo Luis Lorenzo Cortes García / Livro Capa mole
common.buy 23.51 €
Principal
Horrorgeschichten Ambrose Bierce / Livro Capa mole
common.buy 9.68 €

This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

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 Formal Techniques for Safety-Critical Systems
Autor Cyrille Artho, Peter Csaba Ölveczky
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2014
Número de páginas 297
EAN 9783319054155
ISBN 3319054155
Código Libristo 02465622
Editoras Springer International Publishing AG
Peso 4686
Dimensões 155 x 235 x 17

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Aprendizagem mecânica
Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
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

Principal
Clean Code Robert C. Martin / Livro Capa mole
common.buy 53.68 €
Chinese America Chalsa M. Loo / Livro Capa mole
common.buy 54.09 €
Educational Research: Why 'What Works' Doesn't Work Marc Depaepe / Livro Capa mole
common.buy 108.29 €
Hands-on Machine Learning with JavaScript Burak Kanber / Livro Capa mole
common.buy 49.55 €
Hagar: : Victorian Era Romance And Feminism (Aura Press) Mary Johnston / Livro Capa mole
common.buy 11.50 €
Principal
Swim Technique Drills: 100 Drills and Workouts to Improve Swimming Efficiency Blythe Lucero / Livro Capa mole
common.buy 16.95 €
Billy and Rose: Just the Way They Are Kady Macdonald Denton / Livro Capa mole
common.buy 5.64 €
America, the Beautiful Level 5: Intermediate Katharine Lee Bates / Livro Capa mole
common.buy 6.65 €
Algebraic Structures of Neutrosophic Triplets, Neutrosophic Duplets, or Neutrosophic Multisets Florentin Smarandache / Livro Capa mole
common.buy 86.79 €
Remington Army and Navy Revolvers 1861-1888 Donald L. Ware / Livro Livro de capa dura
common.buy 49.95 €
7 Secrets to Power Praying - How to Access God`s Wisdom and Miracles Every Day Jane Glenchur / Livro Capa mole
common.buy 18.36 €
Arise Sullivan / Livro Livro de capa dura
common.buy 23.41 €
Numerology Up To Date: A Key To Your Fate Karen Adams / Livro Livro de capa dura
common.buy 32.69 €
Breakthrough to CLIL for Physics Age 14+ Workbook David Sang / Livro Capa mole
common.buy 17.15 €
Are Liberty and Equality Compatible? Jan NarvesonJames P. Sterba / Livro Capa mole
common.buy 48.03 €

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?