phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Formal Techniques in Real-Time and Fault-Tolerant Systems

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Techniques in Real-Time and Fault-Tolerant Systems Mathai Joseph
Libristo kod: 01563048
Nakladnici Springer, Berlin, studeni 1999
This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniqu... Cijeli opis
? points 154 b
61.28 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

TOP
Magic and Mystery in Tibet Alexandra David-Neel / Meki uvez
common.buy 15.09 €
Magic and Mystery in Tibet Alexandra David-Neel / Meki uvez
common.buy 14.08 €
Ultrasound of the Male Genitalia Bruce R. Gilbert / Tvrdi uvez
common.buy 122.87 €
Cambridge Checkpoints VCE Economics 2004-07 Nina de Garis / Meki uvez
common.buy 16.39 €
Elderescence Jane Thayer / Meki uvez
common.buy 61.78 €
Daily Strength for Daily Needs Mary Tileston / Meki uvez
common.buy 40.13 €
Flachenrecycling Durch Kontrollierten Ruckbau Eva Koch / Meki uvez
common.buy 120.75 €
Keyboard Music of J.S. Bach David Schulenberg / Tvrdi uvez
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.

Informacije o knjizi

Puni naziv Formal Techniques in Real-Time and Fault-Tolerant Systems
Autor Mathai Joseph
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2000
Broj stranica 314
EAN 9783540410553
ISBN 3540410554
Libristo kod 01563048
Nakladnici Springer, Berlin
Težina 458
Dimenzije 155 x 235 x 17

Kategorija

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Databases > Data capture & analysis
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun