phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Computer Aided Verification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification Pierre Wolper
Libristo kód: 05274476
Nakladatelství Springer, Berlin, listopadu 1994
This volume contains the proceedings of the 7th International Conference on Computer Aided Verificat... Celý popis
? points 147 b
1 472 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-14 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Was uns die Bibel erzählt, 20 Farbfolien m. Begleitheft Kees de Kort / Hračka
common.buy 507 Kč
Der kleine Drache Kokosnuss kommt in die Schule, 1 Audio-CD Ingo Siegner / Audio CD
common.buy 223 Kč
Nierenerkrankungen und -verletzungen, 1 CD-ROM / Digital CD
common.buy 1 060 Kč
Businessplan als Voraussetzung zur Finanzierung von Existenzgrundern Antje Walliser / Brožovaná
common.buy 674 Kč
Archive Stories / Pevná
common.buy 3 596 Kč
Control of Uncertain Systems: Modelling, Approximation, and Design Bruce A. Francis / Brožovaná
common.buy 4 463 Kč
L'Olimpia Giambattista della Porta / Pevná
common.buy 1 011 Kč
Between Resource Plenty and State Failure Christoph Vogel / Brožovaná
common.buy 1 049 Kč
Die Kunst des Zweifelns Andreas U. Sommer / Brožovaná
common.buy 234 Kč

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

Informace o knize

Plný název Computer Aided Verification
Autor Pierre Wolper
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1995
Počet stran 456
EAN 9783540600459
ISBN 3540600450
Libristo kód 05274476
Nakladatelství Springer, Berlin
Váha 622
Rozměry 156 x 234 x 23

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství
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

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet