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 249 b
102.90 €
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 32.74 €
Vie Abregee Du T. H. Frere Polycarpe / Livro Capa mole
common.buy 15.56 €
MALCOLM X : DE L'EXCLUSIVISME NOIR A LA SPIRITUALITE UNIVERSELLE (JE VEUX CONNAITRE) TARIQ RAMADAN Livro Capa mole
common.buy 12.83 €
Kielikarhu 3. Harjoituskirja A. Saari Elli / Livro Capa mole
common.buy 27.18 €
I ja sam tu, uz vas Smriti Halls / Livro Livro de capa dura
common.buy 11.62 €
Lebensfunken Akin Yildiz / Livro Capa mole
common.buy 10.71 €
epidemiologische Teil des Berichtes uber die Tatigkeit MAX VON PETTENKOFER / Livro Capa mole
common.buy 16.17 €
Le Mariage de Madame Roland: Trois Annees de Correspondance Amoureuse, 1777-1780 ROLAND DE LA PLATIER / Livro Capa mole
common.buy 29.11 €
La enzima para rejuvenecer HIROMI SHINYA / Livro Capa mole
common.buy 11.51 €
Patentschutz und Innovation in Geschichte und Gegenwart Rudolf Boch / Livro Capa mole
common.buy 42.85 €
Atys, Tragedie En Musique. Ornee d'Entrees de Ballet, de Machines (Ed.1676) Philippe Quinault / Livro Capa mole
common.buy 14.35 €
Kumulyativnye Zaryady Oleg Minin / Livro Capa mole
common.buy 79.96 €
Aufbruch in ein mehrdimensionales Denken Andreas Steiner / Livro Capa mole
common.buy 16.97 €
Die ewige Philosophie Aldous Huxley / Livro Capa mole
common.buy 19.70 €
Em breve
Vegetative Physiologie Gerhard Heldmaier / Livro Livro de capa dura
common.buy 50.33 €
Die Reform der Vereinten Nationen - Bilanz und Perspektiven. Johannes Varwick / Livro Capa mole
common.buy 105.94 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Niedersachsen - 5. Schuljahr Reinhold Koullen / Livro Livro de capa dura
common.buy 30.82 €

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

Debates in Citizenship Education James Arthur / Livro Capa mole
common.buy 64.39 €
Ecclesiantics: 30 Years of Church Humor Erik Johnson / Livro Capa mole
common.buy 10.30 €
Cambridge Companion to the Musical William A. Everett / Livro Capa mole
common.buy 45.79 €
The Mammals of Israel Walter W. Ferguson / Livro Capa mole
common.buy 28.70 €
Witch Stories E. Lynn Linton / Livro Livro de capa dura
common.buy 49.02 €
Spider Tapestries Mike Allen / Livro Capa mole
common.buy 15.56 €
Glyph* Shiro Nishimoto / Livro Livro de capa dura
common.buy 21.22 €
Khobar Towers Air Force History and Museums Program / Livro Capa mole
common.buy 30.52 €
Dirty Kiss Rhys Ford / Livro Capa mole
common.buy 14.75 €
Defending Objectivity Margaret Archer / Livro Livro de capa dura
common.buy 208.95 €
Compagnie Irlandaise M. W. Kirwan / Livro Capa mole
common.buy 24.15 €
Strategic Networking in Small High Tech Firms Mette Monsted / Livro Capa mole
common.buy 37.39 €
Wizards' Country DAPHNE ROOKE / Livro Capa mole
common.buy 13.13 €
Households as Corporate Firms Krislert Samphantharak / Livro Capa mole
common.buy 41.74 €
Some Mathematical Aspects of Inverse Thermoelastic Problems Kirtiwant Ghadle / Livro Capa mole
common.buy 68.43 €
Miles Around Paris Douglas Pledger / Livro Capa mole
common.buy 12.12 €
Exploring Piano Classics Technique Alfred Publishing / Livro Capa mole
common.buy 17.98 €
The Passaic Flood of 1903 Marshall Ora Leighton / Livro Capa mole
common.buy 16.77 €
Data Analysis using Python and Power BI Amreen Khan / Livro Capa mole
common.buy 39.21 €
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Livro Livro de capa dura
common.buy 114.43 €
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Livro Capa mole
common.buy 145.36 €
The House of Vanity Hamza Laaouamri / Livro Capa mole
common.buy 15.46 €
Environmental History of Medieval Europe Richard Hoffmann / Livro Capa mole
common.buy 45.08 €
Parameter Setting Thomas Roeper / Livro Livro de capa dura
common.buy 175.49 €

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?