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

Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Automated Technology for Verification and Analysis Franck Cassez
Código Libristo: 05338676
Editoras Springer International Publishing AG, setembro 2014
This book constitutes the proceedings of the 12th International Symposium on Automated Technology fo... Descrição completa
? points 132 b
54.39 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Catalogue de Tableaux Modernes, Aquarelles, Pastels, Dessins Par Nanny Adam, Ary Scheffer / Livro Capa mole
common.buy 12.73 €
Die Tote im roten Kleid Ann Cleeves / Livro Capa mole
common.buy 18.09 €
Principal Económico
Zvláštny návrat Rachel Priceovej Holly Jackson / Livro Capa mole
common.buy 14.05 €

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 papers presented in this volume were carefully reviewed and selected from 76 submissions.

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 Automated Technology for Verification and Analysis
Autor Franck Cassez, Jean-Francois Raskin
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2014
Número de páginas 430
EAN 9783319119359
ISBN 3319119354
Código Libristo 05338676
Editoras Springer International Publishing AG
Peso 6847
Dimensões 155 x 235 x 18

Categorias

Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
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
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

Fluoride in Drinking-Water K Bailey / Livro Capa mole
common.buy 89.48 €
Proceedings of Ninth International Congress on Information and Communication Technology Xin-She Yang / Livro Capa mole
common.buy 238.42 €
Whatever Next? Anne Glenconner / Livro Capa mole
common.buy 17.99 €
Forensic Science and Legal Medicine Francesco Sessa / Livro Livro de capa dura
common.buy 45.90 €
Catalog of 16mm Silent Motion Picture Film Library; E Inc Mogull's Camera and Film Exchange / Livro Capa mole
common.buy 16.47 €
The Sunday Afternoon: Fifty-Two Brief Sermons (1871) James Baldwin Brown / Livro Capa mole
common.buy 36.39 €
Aesthetics of Fraudulence in Nineteenth-Century France Scott Carpenter / Livro Capa mole
common.buy 73.10 €
Genesis: An Introduction and Commentary Andrew E Steinmann / Livro Capa mole
common.buy 22.64 €
Someday Is Now Olugbemisola Rhuday-Perkovich / Livro Livro de capa dura
common.buy 14.65 €
Simple Machines Pack A of 6 RUSTAD MARTHA E H / Livro Capa mole
common.buy 44.18 €
Menace J M Darhower / Livro Capa mole
common.buy 14.05 €
Love and Legislature Peter Styles / Livro Capa mole
common.buy 10.61 €
OTHER MINDS Peter Godfrey-Smith / Livro Capa mole
common.buy 15.46 €
Fracture of Composite Orthotropic Plates Containing Periodic Buffer Strips Feridun Delale / Livro Capa mole
common.buy 18.39 €
Coaching Through Effective Feedback - A Practical uide to Successful Communication Paul J. Jerome / Livro Capa mole
common.buy 29.82 €
Lectures on the History of Physiology Michael Foster / Livro Capa mole
common.buy 48.42 €
WDM Systems and Networks Neophytos (Neo) Antoniades / Livro Capa mole
common.buy 216.68 €
Life Narratives and Youth Culture Kate Douglas / Livro Livro de capa dura
common.buy 95.14 €
Millie Marotta Journal Millie Marotta / Livro Livro de capa dura
common.buy 12.43 €
Constructivist Psychotherapy Robert A Neimeyer / Livro Capa mole
common.buy 31.23 €
Coping Successfully with Pain Neville Shone / Livro Capa mole
common.buy 18.39 €
Art Isn't Easy Joanne Gordon / Livro Capa mole
common.buy 18.70 €
Korean Neo-Confucianism of Yi Yulgok Young-chan Ro / Livro Capa mole
common.buy 37.50 €
Prenatal Person: Ethics from Conception to Bir th Norman M. Ford / Livro Capa mole
common.buy 58.33 €

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?