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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Computer Aided Verification

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Isil Dillig
Código Libristo: 24027841
Editoras Springer Nature Switzerland AG, julho 2019
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s... Descrição completa
? points 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Plaster Czarownicy i inne baśnie Małgorzata Strzałkowska / Livro Livro de capa dura
common.buy 7.77 €
LP! JPEGMAFIA Áudio Vinil de áudio
common.buy 45.06 €
Bleigewitter über Cinecitt? Christian Keßler / Livro Livro de capa dura
common.buy 26.57 €
Hory zpívají Phan Que Mai Nguyen / Livro Livro de capa dura
common.buy 13.33 €
KLIMATOLOGIE Émile H. Klouyo / Livro Capa mole
common.buy 34.55 €
Besser hausgemacht mit dem Thermomix® Doris Muliar / Livro Capa mole
common.buy 11.21 €
30 Jahre Nachhilfe in 60 Minuten Ulf - C. Roggendorff / Livro Capa mole
common.buy 9.59 €
Valorisation de soja: « tofu, farine infantile » José Tahina Ranaivotrimo / Livro Capa mole
common.buy 48.60 €
Atención Sociosanitaria a personas en el domicilio.Atención domiciliaria y alimentación familiar. Ce EDAE / Livro Capa mole
common.buy 21.62 €
TEKIS GOMEZ / Livro Livro de capa dura
common.buy 17.37 €
Cuento-juego. Los tres cerditos NICOLETTA CODIGNOLA / Livro Capa mole
common.buy 13.63 €
Morče Nataša Velenská / Livro Capa mole
common.buy 5.65 €
Weg Ins Heim Trendb Uro / Livro Capa mole
common.buy 33.64 €
Christoph Columbus Jakob Wassermann / Livro Capa mole
common.buy 15.75 €
Donc Vous Avez Un Ami Invisible: (Ne voir aucun dieu, n'entendre aucun dieu, ne parler ? aucun dieu) Nancy Phillips / Livro Capa mole
common.buy 9.49 €
Secme Dünya Öyküleri Jorge Luis Borges / Livro Capa mole
common.buy 14.44 €

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented toget

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 Computer Aided Verification
Autor Isil Dillig, Serdar Tasiran
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2019
Número de páginas 673
EAN 9783030255398
ISBN 3030255395
Código Libristo 24027841
Editoras Springer Nature Switzerland AG
Peso 1050
Dimensões 155 x 235 x 38

Categorias

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 > Modelagem e simulação informática
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Informática & tecnologia da informação > Gestão de redes & comunicação informática
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

Information Security Sokratis Katsikas / Livro Capa mole
common.buy 68.91 €
Katherine Mansfield: New Directions GASSTON AIMEE / Livro Livro de capa dura
common.buy 132.17 €
Marriage, Totemism and Religion: An Answer to Critics Lord Avebury / Livro Capa mole
common.buy 26.97 €
MEE Questions Book 2 Celebration Bar Review LLC / Livro Capa mole
common.buy 78.10 €
Advances in Growth Curve and Structural Equation Modeling Ratan Dasgupta / Livro Livro de capa dura
common.buy 45.97 €
Do You Dream of Terra-Two? Temi Oh / Livro Capa mole
common.buy 11.00 €
Feasibility Study Majura Jackson G. Majura / Livro Capa mole
common.buy 29.50 €
Soft Computing as Transdisciplinary Science and Technology Ajith Abraham / Livro Capa mole
common.buy 183.20 €
Group FEIGEL LARA / Livro Capa mole
common.buy 12.82 €
3 little sisters Radha Bamania / Livro Capa mole
common.buy 8.78 €
Principal
Invisible Women: Data Bias in a World Designed for Men CRIADO PEREZ CAROLINE / Livro Capa mole
common.buy 12.82 €
Works of Ophra Behn Montague Summers / Livro Livro de capa dura
common.buy 51.02 €
OLD AMERICAN SONGS II CHANT AARON COPLAND / Artigos impressos Partituras
common.buy 4.23 €
The Wager and Other Stories Greg Sushinsky / Livro Capa mole
common.buy 6.46 €
Principal
Sex Differences in Intelligence Richard Lynn / Livro Capa mole
common.buy 12.72 €
Novo
Privileged Brotherhoods Adam Howard / Livro Livro de capa dura
common.buy 57.08 €
My Life Scott Ludwig / Livro Capa mole
common.buy 18.18 €
Wolfsmund Kuji Mitsuhisa / Livro Capa mole
common.buy 8.58 €
Radiographic Atlas of Skeletal Development of the Hand and Wrist Greulich / Livro Livro de capa dura
common.buy 163.90 €
Cast of Shadows Ronnie Maasz / Livro Livro de capa dura
common.buy 91.64 €
Omaha Beach Adrian R. Lewis / Livro Capa mole
common.buy 39.50 €
Adolescent and the Cartel H G Nowland / Livro Capa mole
common.buy 10.40 €
BioShock: Rapture John Shirley / Livro Capa mole
common.buy 13.43 €
The Thin Black Line: True Stories by Black Law Enforcement Officers Policing America's Meanest Streets Hugh Holton / Livro Capa mole
common.buy 12.22 €

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