Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Computer Aided Verification

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

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

Orna Grumberg

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 05274713

Založba Springer, Berlin, november 1996

This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... Celoten opis

Koda Libristo: 05274713

118 b

48.91 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

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

Mehka

22.68 €

Arkham Horror: Lovecraft Letter Zman

Igra

16.60 €

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

Mehka

32.60 €

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

Mehka

23.79 €

Handbuch Alzheimer-Krankheit Frank Jessen

Adobe ePub DRM

137.33 €

Tierna obsesion Marisa Estrada Barquet

Mehka

11.54 €

Patron Oro Calderon Ivan Calderon

Mehka

12.35 €

Luz Herrera Goya

Mehka

10.93 €

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

Mehka

16.80 €

Erdem Degismeye Zorlandiginda Sinirleniyor Harpreet Kaur

Mehka

8.70 €

Una storia dovunque Prezioso Sclano

Mehka

14.57 €

Ley de Contratos

Mehka

24.91 €

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

Mehka

54.58 €

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

Zvočni CD

11.84 €

Nuove storie d'ogni colore Emilio De Marchi

Mehka

12.75 €

Mehrkomponentenvertrage Benedikt Weisser

Mehka

32.00 €

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

Trda

23.49 €

Un éternel prisonnier Dominique Henry

Mehka

18.63 €

AEsthetik nach Wittgenstein Yves Bossart

Trda

164.78 €

Primiracconti Luisa Brisi

Mehka

5.05 €

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.