phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Computer Aided Verification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Aided Verification E. Allen Emerson
Libristo kód: 01567506
Nakladateľstvo Springer, Berlin, november 1999
This book constitutes the refereed proceedings of the 12th International Conference on Computer Aide... Celý popis
? points 304 b
120.90 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Ephesians Frank S. Thielman / Pevná
common.buy 43.42 €
Einfuhrung von Hedge Fonds in Deutschland vor dem Hintergrund des Investmentmodernisierungsgesetzes 2004 und der Entwicklung des Fondswesens Susanne Steimel / Brožovaná
common.buy 94.20 €
Nanostructured Materials Preparation via Condensation Ways Anatolii D. Pomogailo / Pevná
common.buy 120.90 €
Get Going with Kindle Fire in Easy Steps Nick Vandome / Brožovaná
common.buy 7.85 €
Ruckkehr Der Zeitmaschine Egon Friedell / Pevná
common.buy 53.59 €
Phi Phi Island Josef Haslinger / Brožovaná
common.buy 14.70 €
Der Grundsatz der Verhältnismäßigkeit in der Rechtsprechung des Gerichtshofs der Europäischen Gemeinschaften. Oliver Koch / Brožovaná
common.buy 138.83 €
Vogesen Curt Mundel / Brožovaná
common.buy 64.78 €
Plant Toxin Analysis Hans F. Linskens / Pevná
common.buy 240.19 €
Small Bodies in Planetary Systems I. Mann / Pevná
common.buy 61.35 €

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2000.§The 35 revised full papers presented together with 9 tool papers were carefully reviewed and selected from 91 submissions. The papers address all current aspects of the theory and practice of formal methods for hardware and software verification. Emphasis is given to verification algorithms, methods, and tools and their implementation.

Informácie o knihe

Celý názov Computer Aided Verification
Autor E. Allen Emerson, A. Prasad Sistla
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2000
Počet strán 590
EAN 9783540677703
ISBN 3540677704
Libristo kód 01567506
Nakladateľstvo Springer, Berlin
Váha 894
Rozmery 155 x 235 x 30

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Medicína a ošetrovateľstvo > Medicína: všeobecné témy
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet