Doprava zdarma se Zásilkovnou nad 1 499 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 05274713
Price: 1540 CZK
Availability: InStock

Orna Grumberg

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274713

Nakladatelství Springer, Berlin, listopadu 1996

This book constitutes the strictly refereed proceedings of the 9th International Conference on Compu... Celý popis

Libristo kód: 05274713

154 b

1 540 Kč včetně DPH

Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

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

/ Audio CD

294 Kč

Stories of Biblical Mothers Leila Leah Bronner

/ Pevná

2 791 Kč

Embedded Software and Systems Man Lin

/ Brožovaná

3 037 Kč

Little Beaver's Secrets Bärbel Thetmeyer

/ Brožovaná

370 Kč

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

/ Pevná

551 Kč

Warrior Cats - Zeichen der Sterne. Fernes Echo, 5 Audio-CDs Erin Hunter

/ Audio CD

235 Kč

Auf Schreckenstein gibt's täglich Spaß, 3 Audio-CDs Oliver Hassencamp

/ Audio CD

284 Kč

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.

Informace o knize

Plný název Computer Aided Verification

Autor Orna Grumberg

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 1997

Počet stran 492

EAN 9783540631668

ISBN 3540631666

Libristo kód 05274713

Nakladatelství Springer, Berlin

Váha 654

Rozměry 156 x 234 x 25

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Architektura počítače a logic design

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Doručení

Nákupní rádce