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 Kedar Namjoshi

Automated Technology for Verification and Analysis

5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Tomohiro Yoneda

Teruo Higashino

Língua

Inglês

Livro Capa mole

Livro Automated Technology for Verification and Analysis Kedar Namjoshi

Código Libristo: 01569366

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

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

Código Libristo: 01569366

?

points

118 b

48.94 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Vers la maîtrise du monoski et au-del? Tsallen

/

Capa mole

20.56 €

Dirección de la fuerza de ventas ENRIQUE CARLOS DIEZ DE CASTRO

/

Capa mole

33.74 €

Betragtninger Over Den Naturlige Theologie (1805) Frederik Munter

/

Capa mole

27.86 €

Ossigenoterapia iperbarica e lesioni ano-perineali Alaa Nciri

/

Capa mole

36.98 €

Kalinti

/

Capa mole

19.04 €

Daňový sprievodca 2023 s komentárom autorov Kolektív

/

Capa mole

11.04 €

de la Broncho-Pneumonie Dans La Diphterie Darier-F-J

/

Capa mole

14.89 €

Odsun sovětských vojsk Karel Pecka

/

binding.

4.14 €

Geographie von Griechenland Konrad Bursian

/

Capa mole

29.48 €

Ekonomika v souvislostech Jan Vávra

/

Capa mole

6.78 €

Hypersensitiv Sabrina Wallner

/

Capa mole

12.76 €

Studie uber das Leben erfolgreicher Menschen mit Behinderung Siegfried Bachmayer

/

Capa mole

40.33 €

Deutsch-Amerikanisches Verfassungsrechtssymposium 1976. Wilhelm A. Kewenig

/

Capa mole

57.76 €

Schöne Augen Franz Specht

/

Folha

8.10 €

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

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 Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2007

Número de páginas 570

EAN 9783540755951

ISBN 3540755950

Código Libristo 01569366

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

Peso 884

Dimensões 155 x 235 x 32

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 > Aplicações gráficas & para media digitais > Design assistido por computador (CAD)

Informática & tecnologia da informação > Equipamento informático > Equipamento em rede

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 > 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

Virtual Reality Randall Shumaker

/

Capa mole

97.59 €

New GCSE English Language AQA Exam Practice Workbook - includes Answers and Videos CGP Books

/

Capa mole

8.60 €

On Aunty Jonathan Holmes

/

Capa mole

10.63 €

A Daughter's Guide to Not Going to Jail For Helping Your Mother: Colored Edition Valencia Black

/

Capa mole

12.15 €

The Estonian Dictionary: A Concise English-Estonian Dictionary Rasmus Sepp

/

Capa mole

6.98 €

Colour The Series A Giannoccaro

/

Capa mole

24.01 €

Drivers Peter Carroll

/

Capa mole

10.33 €

Air Fryer Delights Teresa Finney

/

Capa mole

13.77 €

Fair Harbor Joseph C. Lincoln

/

Capa mole

30.29 €

Becoming a Writer David Kherdian

/

Capa mole

14.08 €

Formas JOHN J. REISS

/

Capa mole

16.71 €

Your Place in the Universe Chin

/

Capa mole

6.78 €

Manual of Splinting and Casting Stephen R. Thompson

/

Capa mole

77.82 €

Your History J. A. ROGERS

/

Capa mole

11.54 €

Nightcharmer And Other Tales Of Claude Seignolle Claude Seignolle

/

Capa mole

15.90 €

France as a Maritime Power Adluri Subramanyam Raju

/

Livro de capa dura

181.50 €

Economic and Compliance Consequences of Taxation Patrick J. Caragata

/

Livro de capa dura

104.38 €

Advances in Nonlinear Optics Jie Zhang

/

Livro de capa dura

150.79 €

Unthinking Eurocentrism Ella Shohat & Robert Stam

/

Capa mole

60.19 €

Dust of Dreams Steven Erikson

/

Capa mole

14.99 €

How to Overcome Fear of Driving Joanne Mallon

/

Capa mole

18.33 €

Qualitative Inquiry David Hiles

/

Capa mole

23.30 €

Dividends of Kinship Peter P. Schweitzer

/

Capa mole

56.34 €

Understanding the Law Attorney Charles Jerome Ware

/

Capa mole

15.09 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?