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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274713
Price: 53.79 EUR
Availability: InStock
Author: Orna Grumberg
ISBN: 9783540631668

9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings

Orna Grumberg

Lingua

Inglese

Libro In brossura

Codice Libristo: 05274713

Casa editrice Springer, Berlin, novembre 1996

This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... Descrizione completa

Codice Libristo: 05274713

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Fem música amb els bum bum, Educació Infantil, 4 anys. Guia Sylvia Dicovskiy Riobóo

In brossura

24.59 €

Arkham Horror: Lovecraft Letter Zman

Gioco

18.19 €

Textes et Monuments Figures Relatifs aux Mysteres de Mithra, Tome Premier Franz Valery Marie Cumont

In brossura

35.49 €

delitto Ammaturo. Luci e ombre di un mistero irrisolto Pierluigi Larotonda

In brossura

26.29 €

Handbuch Alzheimer-Krankheit Frank Jessen

Adobe ePub DRM

159.59 €

Tierna obsesion Marisa Estrada Barquet

In brossura

12.59 €

Patron Oro Calderon Ivan Calderon

In brossura

13.59 €

Luz Herrera Goya

In brossura

11.79 €

Honorarordnung für Architekten und Ingenieure - HOAI 2021 Johann Peter Hebel

In brossura

18.69 €

Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur

In brossura

9.59 €

Una storia dovunque Prezioso Sclano

In brossura

15.89 €

Ley de Contratos

In brossura

26.79 €

O composto de produtos e a estrategia de desenvolvimento de produtos Oste Graziano Cremonezi Graziela

In brossura

60.59 €

Oh Tannenbaum, 2 Audio-CDs Sternschnuppe: Sarholz & Meier

CD audio

13.29 €

Nuove storie d'ogni colore Emilio De Marchi

In brossura

14.09 €

Mehrkomponentenvertrage Benedikt Weisser

In brossura

35.49 €

Mein neuer Musikus - Aktuelle Ausgabe - 1./2. Schuljahr Sonja Hoffmann

Rigido

26.59 €

Un éternel prisonnier Dominique Henry

In brossura

20.69 €

AEsthetik nach Wittgenstein Yves Bossart

Rigido

180.69 €

Primiracconti Luisa Brisi

In brossura

5.99 €

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

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 Computer Aided Verification

Autore Orna Grumberg

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1997

Numero di pagine 492

EAN 9783540631668

ISBN 3540631666

Codice Libristo 05274713

Casa editrice Springer, Berlin

Peso 654

Dimensioni 156 x 234 x 25

Categorie

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

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

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