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

Computer Aided Verification

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Computer Aided Verification Natasha Sharygina
Código Libristo: 02075327
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... Descrição completa
? points 263 b
107.33 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

La société patriarcale face à la résistance des femmes Resta / Livro Capa mole
common.buy 31.50 €
Lebensfunken Akin Yildiz / Livro Capa mole
common.buy 10.59 €
Vie Abregee Du T. H. Frere Polycarpe / Livro Capa mole
common.buy 15.40 €
MALCOLM X : DE L'EXCLUSIVISME NOIR A LA SPIRITUALITE UNIVERSELLE (JE VEUX CONNAITRE) TARIQ RAMADAN Livro Capa mole
common.buy 11.79 €
Kielikarhu 3. Harjoituskirja A. Saari Elli / Livro Capa mole
common.buy 26.90 €
I ja sam tu, uz vas Smriti Halls / Livro Livro de capa dura
common.buy 12.80 €
My Little Pony. Witaj w Equestrii. Książka z magnesami Praca zbiorowa / Livro Livro de capa dura
common.buy 7.29 €
Deník Henry David Thoreau / Livro Livro de capa dura
common.buy 17.20 €
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Livro Capa mole
common.buy 16.90 €
Le Mariage de Madame Roland: Trois Annees de Correspondance Amoureuse, 1777-1780 ROLAND DE LA PLATIER / Livro Capa mole
common.buy 28.80 €
La enzima para rejuvenecer HIROMI SHINYA / Livro Capa mole
common.buy 12.09 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Livro Capa mole
common.buy 44.61 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Livro Capa mole
common.buy 14.20 €
Kumulyativnye Zaryady Oleg Minin / Livro Capa mole
common.buy 83.82 €
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Livro Capa mole
common.buy 16.70 €
Die ewige Philosophie Aldous Huxley / Livro Capa mole
common.buy 20.70 €
Em breve
Vegetative Physiologie Gerhard Heldmaier / Livro Livro de capa dura
common.buy 49.61 €
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Livro Capa mole
common.buy 104.63 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Livro Livro de capa dura
common.buy 32.00 €

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

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 Natasha Sharygina, Helmut Veith
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2013
Número de páginas 1015
EAN 9783642397981
ISBN 3642397980
Código Libristo 02075327
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1539
Dimensões 155 x 235 x 56

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
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

Ecclesiantics: 30 Years of Church Humor Erik Johnson / Livro Capa mole
common.buy 10.19 €
Debates in Citizenship Education James Arthur / Livro Capa mole
common.buy 67.02 €
Wizards' Country DAPHNE ROOKE / Livro Capa mole
common.buy 14.50 €
Strategic Networking in Small High Tech Firms Mette Monsted / Livro Capa mole
common.buy 37.01 €
Compagnie Irlandaise M. W. Kirwan / Livro Capa mole
common.buy 22.20 €
Defending Objectivity Margaret Archer / Livro Livro de capa dura
common.buy 241.69 €
The Mammals of Israel Walter W. Ferguson / Livro Capa mole
common.buy 28.40 €
Dirty Kiss Rhys Ford / Livro Capa mole
common.buy 14.60 €
Khobar Towers Air Force History and Museums Program / Livro Capa mole
common.buy 30.20 €
Households as Corporate Firms Krislert Samphantharak / Livro Capa mole
common.buy 41.31 €
Glyph* Shiro Nishimoto / Livro Livro de capa dura
common.buy 20.00 €
American Paint Horse Glynn W. Haynes / Livro Capa mole
common.buy 29.50 €
Spider Tapestries Mike Allen / Livro Capa mole
common.buy 15.40 €
Witch Stories E. Lynn Linton / Livro Livro de capa dura
common.buy 50.91 €
Leisure, Activism, and the Animation of the Urban Environment I R Lamond / E-book Adobe ePub DRM
common.buy 61.22 €
Cambridge Companion to the Musical William A. Everett / Livro Capa mole
common.buy 45.31 €
Some Mathematical Aspects of Inverse Thermoelastic Problems Kirtiwant Ghadle / Livro Capa mole
common.buy 71.72 €
The House of Vanity Hamza Laaouamri / Livro Capa mole
common.buy 15.30 €
Inequality in the Digital Economy Andrew White / Livro Capa mole
common.buy 143.75 €
The Application of GIS Technologies in the Roman Period Fernandez / Livro Capa mole
common.buy 46.31 €
Impressive Robert Klanten / Livro Capa mole
common.buy 44.51 €
Decentralization and Development Partnership Fumihiko Saito / Livro Capa mole
common.buy 53.81 €
Parameter Setting Thomas Roeper / Livro Livro de capa dura
common.buy 175.96 €
Environmental History of Medieval Europe Richard Hoffmann / Livro Capa mole
common.buy 44.61 €

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?