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: Foundational Techniques

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

Língua InglêsInglês
Livro Capa mole
Livro Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Tiziana Margaria
Código Libristo: 14208641
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 263 b
107.54 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Bibliografía sistemática y cronológica de las hablas andaluzas José Mondéjar Cumpián / Livro Capa mole
common.buy 18.12 €
Geliebte Fabelwesen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Calendário/Diário Calendário
common.buy 29.73 €
Vaiana 2 06 Walt Disney company / Livro Capa mole
common.buy 7.70 €
Depressionen Walter Pöldinger / Livro Capa mole
common.buy 80.40 €
ANÁLISIS DE LA PRODUCCIÓN Y EXPORTACIÓN DE LA QUINUA BOLIVIANA Edwin Rodríguez Chávez / Livro Capa mole
common.buy 41.05 €
Je těžké být bohem Arkadij Strugackij / Livro Livro de capa dura
common.buy 16.51 €
Más generoso que la soledad YIYUN LI / Livro Capa mole
common.buy 25.53 €
A LA RECERCA DE LES PARAULES BARANDA / Livro Livro de capa dura
common.buy 21.42 €
uomo invisibile Herbert George Wells / Livro Livro de capa dura
common.buy 17.42 €
JURASSIC WORLD. JUEGA Y COLOREA / Livro Capa mole
common.buy 6.60 €
Análisis relacional entre variables en torno a los programas universitarios Serrano García / Livro Capa mole
common.buy 93.52 €
Dějepis 7 s nadhledem 2v1 Pracovní sešit Martin Šorm / Livro Capa mole
common.buy 5.00 €
Cirugía refractiva. Protocolo de exploración de visión binocular y acomodación MARIA GARCIA MONTERO / Livro Capa mole
common.buy 68.29 €
resurrection du credit, petits poemes industriels DEHEM-J / Livro Capa mole
common.buy 13.51 €
3 Cort?ges: Pour Clarinette Et Piano Colette Mourey / Livro Capa mole
common.buy 15.62 €

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: Foundational Techniques
Autor Tiziana Margaria, Bernhard Steffen
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2016
Número de páginas 974
EAN 9783319471655
ISBN 3319471651
Código Libristo 14208641
Editoras Springer International Publishing AG
Peso 1480
Dimensões 155 x 235 x 56

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

Principal Económico
Touchstone Tarot Kat Black / Artigos impressos Cartões
common.buy 15.41 €
Oscar Wilde and Classical Antiquity Kathleen Riley / Livro Livro de capa dura
common.buy 182.15 €
Zany Time Travels of Warble McGorkle Blackbird Crow Raven / Livro Capa mole
common.buy 15.01 €
Poems to Grow-Up By: Poems for 6-9 year olds Cindy MacLean / Livro Capa mole
common.buy 6.20 €
Picture Us In The Light Kelly Loy Gilbert / Livro Livro de capa dura
common.buy 17.42 €
Creating a Culture of Reflective Practice: Capacity-Building for Schoolwide Success Peter A. Hall / Livro Capa mole
common.buy 30.85 €
Em breve
Wicked Wit of Princess Margaret Karen Dolby / Livro Livro de capa dura
common.buy 11.41 €
Hiroshima-75 - Nuclear Issues in Global Contexts David Marples / Livro Capa mole
common.buy 45.76 €
The Astor Lectures on the Practice of Idealism W. John Murray / Livro Capa mole
common.buy 18.22 €
Brilliant Activities for Reading Comprehension, Year 6 (2nd Ed) Charlotte Makhlouf / Livro Capa mole
common.buy 24.93 €
Pucky, Prince of Bacon Georgia Dunn / Livro Capa mole
common.buy 10.10 €
The Art Of Cultural Memory Bartlomiej Blaszkiewicz / Livro Livro de capa dura
common.buy 48.16 €
HUMPERDINCK ENGELBERT A MAN WITHOUT LOVE UNIVERSAL / Áudio CD de áudio
common.buy 18.02 €
A Stable and Transparent Framework for Adaptive Shared Control of Robots Ribin Balachandran / Livro Capa mole
common.buy 128.97 €
Pamela Controversy Vol 3 Tom Keymer / E-book Adobe ePub DRM
common.buy 54.39 €
Antidespairant Natalka Marynchak / Livro Livro de capa dura
common.buy 24.02 €
Unprovoked Events Rodney Riesel / Livro Capa mole
common.buy 15.61 €
Grand Illusion Zac Marvin / Livro Capa mole
common.buy 22.02 €
Database Systems for Advanced Applications Jeffrey Xu Yu / Livro Capa mole
common.buy 58.07 €
Woodworking, Revised and Expanded John Kelsey / Livro Capa mole
common.buy 12.71 €
Credit and State Theories of Money Wray / Livro Livro de capa dura
common.buy 159.22 €
Principal
Oxford Essential German Dictionary Oxford Dictionaries / Livro Capa mole
common.buy 7.60 €
Accrual Method for Funding Military Retirement Richard Eisenman / Livro Capa mole
common.buy 11.01 €
All He Knew. [A Tale.] John Habberton / Livro Capa mole
common.buy 20.52 €

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?