Verificar estado da encomenda

Verificar estado da encomenda

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

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

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Automated Technology for Verification and Analysis Tevfik Bultan

Automated Technology for Verification and Analysis

9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Língua

Inglês

Livro Capa mole

Livro Automated Technology for Verification and Analysis Tevfik Bultan

Código Libristo: 01658982

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, setembro 2011

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Techn... Descrição completa

Código Libristo: 01658982

?

points

135 b

55.68 €

Armazenamento externalo em pequenas quantidades Envio em 13-18 dias

Até 30 dias para devoluções

Os clientes também compraram

Hausbot Petr Horký

/

Capa mole

13.00 €

Na Kanadském severu Leoš Šimánek

/

Livro de capa dura

12.90 €

Les morues Lecoq

/

Capa mole

25.11 €

Sustentos Pixabay -

/

Capa mole

7.66 €

Die Christel von der Post, 1 DVD Karl Anton

/

DVD

12.20 €

Camden Town Advanced - Globalization and global challenges Katrin Hübschen

/

Capa mole

23.40 €

Anglicky v běžných situacích Jitka Krejčíková

/

Capa mole

3.42 €

justicia penal negociada - Un analisis comparativo entre los procesos penales espanol y peruano Mercedes Rosemarie Herrera Guerrero

/

Capa mole

42.66 €

Hoerspiel als Widerstand am Beispiel von Todesraten von Elfriede Jelinek und Olga Neuwirth Verena Wiesner

/

Capa mole

17.04 €

This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.§The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

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 Tevfik Bultan, Pao-Ann Hsiung

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2011

Número de páginas 532

EAN 9783642243714

ISBN 3642243711

Código Libristo 01658982

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 764

Dimensões 155 x 235 x 30

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 > Arquitetura informática e conceção lógica

Informática & tecnologia da informação > Sistemas operativos

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

Quantification in the Theory of Grammar Taisuke Nishigauchi

/

Capa mole

112.98 €

Contaminated Soil J.W. Assink

/

Capa mole

102.69 €

"Roland" Roger M Hart

/

Capa mole

18.25 €

Makeology Erica Halverson

/

Capa mole

48.92 €

Play and Other Stories Stephen Dixon

/

Capa mole

9.68 €

Hudson's Marianne Weldon

/

Livro de capa dura

22.99 €

Alas! Rhoda Broughton

/

Livro de capa dura

32.68 €

Teaching a Stone to Talk Annie Dillard

/

Capa mole

11.79 €

PLAY EM RIGHT LATIN 2 ERIK VELDKAMP

/

binding.

20.37 €

Bear Under The Stairs Helen Cooper

/

Capa mole

8.67 €

Inhuman Power Nick Dyer-Witheford

/

Livro de capa dura

104.51 €

Old-Time Primitive Methodism in Canada, 1829-1884 R. P. Hopper

/

Capa mole

23.70 €

Wahoo Sam Crawford: The King of Sluggers Kent Krause

/

Capa mole

14.01 €

The Fascinating Bug Book for Kids Krystal Monique Toney

/

Capa mole

12.00 €

Spy Ships: One Hundred Years of Intelligence Collection by Ships and Submarines Lee J. Mathers

/

Livro de capa dura

25.01 €

Young Whit and the Phantasmic Confabulator Dave Arnold

/

Livro de capa dura

13.81 €

Sherlock Holmes Far and Wide Gretchen Altabef

/

Livro de capa dura

28.24 €

YOU'VE GOT TO LOSE TO WIN Will Simpson

/

Adobe ePub DRM

16.94 €

Sea Change: The Exclusive Economic Zone and Governance Institutions for Living Marine Resources Syma A. Ebbin

/

Livro de capa dura

109.15 €

English World 1 Grammar Practice Book Liz Hocking

/

Capa mole

10.58 €

Business Lessons from a Radical Industrialist Ray C Anderson

/

Capa mole

17.54 €

Kitchen-Dweller's Testimony Ladan Osman

/

Capa mole

12.00 €

Science SQC, New Quality Control Principle Kakuro Amasaka

/

Capa mole

112.98 €

Macrofilosofia de La Globalizacion y del Pensamiento Unico Gon Al Mayos

/

Capa mole

34.80 €