Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro 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

Lingua

Inglese

Libro In brossura

Libro Automated Technology for Verification and Analysis Kedar Namjoshi

Codice Libristo: 01569366

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2007

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Techn... Descrizione completa

Codice Libristo: 01569366

?

points

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

/

In brossura

22.79 €

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

/

In brossura

38.99 €

Betragtninger Over Den Naturlige Theologie (1805) Frederik Munter

/

In brossura

36.69 €

Ossigenoterapia iperbarica e lesioni ano-perineali Alaa Nciri

/

In brossura

40.99 €

Kalinti

/

In brossura

20.99 €

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

/

In brossura

11.69 €

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

/

In brossura

17.09 €

Odsun sovětských vojsk Karel Pecka

/

binding.

4.49 €

Geographie von Griechenland Konrad Bursian

/

In brossura

32.69 €

Ekonomika v souvislostech Jan Vávra

/

In brossura

7.29 €

Hypersensitiv Sabrina Wallner

/

In brossura

14.19 €

Studie uber das Leben erfolgreicher Menschen mit Behinderung Siegfried Bachmayer

/

In brossura

44.79 €

Deutsch-Amerikanisches Verfassungsrechtssymposium 1976. Wilhelm A. Kewenig

/

In brossura

66.39 €

Schöne Augen Franz Specht

/

Foglio

8.89 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Automated Technology for Verification and Analysis

Autore Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2007

Numero di pagine 570

EAN 9783540755951

ISBN 3540755950

Codice Libristo 01569366

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 884

Dimensioni 155 x 235 x 32

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza

Informatica e Tecnologia dell’Informazione > Applicazioni grafiche e multimediali > Disegno assistito (CAD)

Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Comunicazione tra computer e reti

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Virtual Reality Randall Shumaker

/

In brossura

107.29 €

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

/

In brossura

9.39 €

In preparazione

On Aunty Jonathan Holmes

/

In brossura

11.99 €

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

/

In brossura

14.89 €

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

/

In brossura

8.49 €

Colour The Series A Giannoccaro

/

In brossura

29.49 €

Drivers Peter Carroll

/

In brossura

12.59 €

Air Fryer Delights Teresa Finney

/

In brossura

16.49 €

Fair Harbor Joseph C. Lincoln

/

In brossura

36.69 €

Becoming a Writer David Kherdian

/

In brossura

16.09 €

Formas JOHN J. REISS

/

In brossura

18.99 €

Your Place in the Universe Chin

/

In brossura

8.09 €

Manual of Splinting and Casting Stephen R. Thompson

/

In brossura

85.19 €

Your History J. A. ROGERS

/

In brossura

12.99 €

Nightcharmer And Other Tales Of Claude Seignolle Claude Seignolle

/

In brossura

18.79 €

France as a Maritime Power Adluri Subramanyam Raju

/

Rigido

205.09 €

Economic and Compliance Consequences of Taxation Patrick J. Caragata

/

Rigido

113.29 €

Advances in Nonlinear Optics Jie Zhang

/

Rigido

165.19 €

Unthinking Eurocentrism Ella Shohat & Robert Stam

/

In brossura

67.99 €

Dust of Dreams Steven Erikson

/

In brossura

16.89 €

How to Overcome Fear of Driving Joanne Mallon

/

In brossura

20.99 €

Qualitative Inquiry David Hiles

/

In brossura

27.39 €

Dividends of Kinship Peter P. Schweitzer

/

In brossura

63.69 €

Understanding the Law Attorney Charles Jerome Ware

/

In brossura

18.09 €