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

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Língua InglêsInglês
Livro Capa mole
Livro Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Tiziana Margaria
Código Libristo: 14208642
Editoras Springer International Publishing AG, outubro 2016
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Internati... Descrição completa
? points 132 b
53.87 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Las mayusculas y las minusculas en la lengua espanola Alicia Maria Zorrilla / E-book Adobe ePub DRM
common.buy 23.93 €
La pandilla de los 11 ROCIO BONILLA / Livro Livro de capa dura
common.buy 18.12 €
Meine aktive Landeskunde. Krajoznawstwo i kultura niemieckiego obszaru językowego Ewa Maria Rostek / Livro Capa mole
common.buy 11.71 €
L'Entrée du Christ dans la langue française Millet Livro Capa mole
common.buy 22.83 €
Jednorožci - Perlové malování / Livro Capa mole
common.buy 9.51 €
The Words In Your Snare 2 Chepali / Livro Capa mole
common.buy 15.11 €
Der Architekt als Generalist Walter R. Auer / Livro Livro de capa dura
common.buy 69.09 €
Exercices Gradues de Plain-Chant Specialement Ecrits Pour Les Enfants Chausse-J B / Livro Capa mole
common.buy 16.31 €
Nuits A Paris, Notes Sur Une Ville DARZENS-R / Livro Capa mole
common.buy 24.02 €
La llamada de Cthulhu: Incluye los relatos "La historia del Necronomicón" y "Azathoth" H P Lovecraft / Livro Capa mole
common.buy 7.60 €
Budismo esencial JUAN ARNAU / Livro Capa mole
common.buy 13.01 €
Evaluación de queratoplásticos utilizados en cirugía abdominal Nadiana Edith Lopez Condado / Livro Capa mole
common.buy 52.26 €
Fontaine de Vaucluse Et Ses Souvenirs SAINT-MARTIN-J / Livro Capa mole
common.buy 21.92 €
Idols and Museum Pieces Caroline van Eck / Livro Livro de capa dura
common.buy 50.26 €
Hidroterapia Sebastien Hinoult / Livro Capa mole
common.buy 14.11 €
Un Misterio En Italia Santa Montefiore / Livro Capa mole
common.buy 7.40 €
Ben Kaybolmam - Duygularim ve Davranislarim Bengi Semerci / Livro Capa mole
common.buy 10.61 €
Vom Linksliberalismus zur Sozialdemokratie Detlef Lehnert / Livro Livro de capa dura
common.buy 77.10 €
Fremdsprachendidaktik und Inklusionsp dagogik. Herausforderungen im Kontext von Migration und Mehrsprachigkeit Claudia Schlaak / Livro Capa mole
common.buy 24.73 €
L. N. Tolstoj "Der Tod des Ivan Il'ic". Bedeutung und Gestaltung des Sterbe- und Erkenntnisprozesses Hannes Blank / Livro Capa mole
common.buy 15.12 €

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.

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 Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Autor Tiziana Margaria, Bernhard Steffen
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2016
Número de páginas 866
EAN 9783319471686
ISBN 3319471686
Código Libristo 14208642
Editoras Springer International Publishing AG
Peso 1323
Dimensões 155 x 235 x 49

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
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 > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
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
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
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

Art of Thinking Without Thinking Lak Loi / Livro Capa mole
common.buy 46.96 €
Perfect Christmas Village Bella Osborne / Livro Capa mole
common.buy 11.91 €
Maori Vol.2 - Meanings Johann Barnas / Livro Capa mole
common.buy 37.34 €
historical Geography of Europe Edward Augustus Freeman / Livro Capa mole
common.buy 38.34 €
Short and Easie Method With the Deists Charles 1650-1722 Leslie / Livro Capa mole
common.buy 19.02 €
Beyond Command and Control Adams / Livro Livro de capa dura
common.buy 242.04 €
Gidget Pamela Robertson Wojcik / Livro Capa mole
common.buy 33.44 €
Raising Lazarus DARLENE MARCUSSON / Livro Capa mole
common.buy 13.21 €
Em breve
How to Build a Car Adrian Newey / Livro Capa mole
common.buy 15.02 €
Maddison Letter Tracing for Kids Trace my Name Workbook: Tracing Books for Kids ages 3 - 5 Pre-K & Kindergarten Practice Workbook Yolie Davis / Livro Capa mole
common.buy 10.21 €
Creatures That Once Were Men Maksim Gorky / Livro Capa mole
common.buy 7.50 €
Shakespeare on Screen: King Lear Victoria Bladen / Livro Livro de capa dura
common.buy 125.27 €
The Class-Book of Christian Morals Bourne Hall Draper / Livro Capa mole
common.buy 19.13 €
Metagenomics for Gut Microbes Ranjith Kumavath / Livro Livro de capa dura
common.buy 120.16 €
Second World War: Europe and the Mediterranean Thomas E. Greiss / Livro Capa mole
common.buy 27.34 €
International Negotiations Student's Book with Audio CDs (2) Mark Powell / Livro Capa mole
common.buy 49.46 €
Wordsworth F. W. H. Myers / Livro Capa mole
common.buy 33.14 €
Credit Risk Mitigation and Synthetic Securitization Cleary / Livro Livro de capa dura
common.buy 275.28 €
Spirits' Book Allan Kardec / Livro Capa mole
common.buy 22.02 €
Practise & Pass Mover Teachers Book Lambert / Livro Livro de capa dura
common.buy 22.12 €
Traditional Chinese Medicine Yuqun Liao / Livro Capa mole
common.buy 29.93 €
Christmas Memory Book and CD Truman Capote / Livro Livro de capa dura
common.buy 23.22 €
COMMENTARIES ON THE MINING ORDINANCES OF FRANCISCO DE GAMBOA / Livro Livro de capa dura
common.buy 36.06 €
Eloisa to Abelard. Written by Mr. Pope. the Second Edition. Alexander Pope / Livro Capa mole
common.buy 18.02 €

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?