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ť

Formal Techniques in Real-Time and Fault-Tolerant Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Techniques in Real-Time and Fault-Tolerant Systems Mathai Joseph
Libristo kód: 01563048
Nakladateľstvo Springer, Berlin, november 1999
This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniqu... Celý popis
? points 154 b
61.28 €
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ť

TOP
Magic and Mystery in Tibet Alexandra David-Neel / Brožovaná
common.buy 13.27 €
Magic and Mystery in Tibet Alexandra David-Neel / Brožovaná
common.buy 14.78 €
Ultrasound of the Male Genitalia Bruce R. Gilbert / Pevná
common.buy 122.87 €
Cambridge Checkpoints VCE Economics 2004-07 Nina de Garis / Brožovaná
common.buy 16.39 €
Elderescence Jane Thayer / Brožovaná
common.buy 61.78 €
Daily Strength for Daily Needs Mary Tileston / Brožovaná
common.buy 40.13 €
Flachenrecycling Durch Kontrollierten Ruckbau Eva Koch / Brožovaná
common.buy 120.75 €
Keyboard Music of J.S. Bach David Schulenberg / Pevná
common.buy 200.05 €

This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, held in Pune, India in September 2000. The 21 revised full papers presented together with three invited contributions were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.

Informácie o knihe

Celý názov Formal Techniques in Real-Time and Fault-Tolerant Systems
Autor Mathai Joseph
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2000
Počet strán 314
EAN 9783540410553
ISBN 3540410554
Libristo kód 01563048
Nakladateľstvo Springer, Berlin
Váha 458
Rozmery 155 x 235 x 17

Kategórie

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 > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Databázy > Uchovávanie a analýza dát
Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
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