Spedizione gratuita per ordini superiori a 69,99 euro.

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 €

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Brand: Springer International Publishing AG
SKU: 02152556
Price: 57.79 EUR
Availability: InStock
Author: Valeria Bertacco
ISBN: 9783319030760

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Valeria Bertacco

Axel Legay

Lingua

Inglese

Libro In brossura

Codice Libristo: 02152556

Casa editrice Springer International Publishing AG, ottobre 2013

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... Descrizione completa

Codice Libristo: 02152556

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

amore al tempo dei social Karin Anzai Libro

Libro

8.89 €

CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Libro

binding.

25.69 €

Ściąga liceum, technikum Część 1 Antyk, Średniowiecze, Renesans, Barok, Oświecenie Zespół redakcyjny Wydawnictwa Greg

In brossura

4.19 €

Wanderer zwischen Musik, Politik und Recht Becker

Rigido

125.39 €

Gachiakuta. Крутые отбросы. Том 2

Rigido

27.29 €

Smradľavý útok Grázlika Gaba Francesca Simon

In brossura

6.29 €

Ajedrez hipermoderno. Vol. I Ricardo Aguilera López

In brossura

11.19 €

Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero

In brossura

9.89 €

hombre y el zorro Idries Shah

In brossura

10.29 €

Eveliina von Waisin etiaiset Anneli Alatalo

In brossura

48.99 €

Wupp geht um Martina Temming

In brossura

17.79 €

Der Realitätenkellner Werner A. Leeb

In brossura

43.19 €

Flottentelematik fur Transportdienstleister - E-Business-Loesung fur kleinst- bis mittlere Transport-Unternehmen Rüdiger Quietzsch

In brossura

85.09 €

Tagbuch einer Reise in Inner-Arabien Julius Euting

In brossura

47.29 €

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction, and model presentation.

Attrice & Poliglotta

EWA KASP per

Riproduci video

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

Informazioni sul libro

Titolo completo Hardware and Software: Verification and Testing

Autore Valeria Bertacco, Axel Legay

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2013

Numero di pagine 366

EAN 9783319030760

ISBN 3319030760

Codice Libristo 02152556

Casa editrice Springer International Publishing AG

Peso 593

Dimensioni 155 x 235 x 22

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

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

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

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

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

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

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

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale