[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Formal Techniques in Real-Time and Fault-Tolerant Systems

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Techniques in Real-Time and Fault-Tolerant Systems Mathai Joseph
Libristo-Code: 01563048
Verlag Springer, Berlin, November 1999
This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniqu... Vollständige Beschreibung
? points 177 b
70.52 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

TOP
Magic and Mystery in Tibet Alexandra David-Neel / Broschur
common.buy 16.64 €
Magic and Mystery in Tibet Alexandra David-Neel / Broschur
common.buy 16.34 €
Ultrasound of the Male Genitalia Bruce R. Gilbert / Hardcover
common.buy 141.45 €
Elderescence Jane Thayer / Broschur
common.buy 70.92 €
Cambridge Checkpoints VCE Economics 2004-07 Nina de Garis / Broschur
common.buy 18.05 €
Daily Strength for Daily Needs Mary Tileston / Broschur
common.buy 40.23 €
Flachenrecycling Durch Kontrollierten Ruckbau Eva Koch / Broschur
common.buy 100.89 €
Keyboard Music of J.S. Bach David Schulenberg / Hardcover
common.buy 230.34 €

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.

Informationen zum Buch

Vollständiger Name Formal Techniques in Real-Time and Fault-Tolerant Systems
Autor Mathai Joseph
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2000
Anzahl der Seiten 314
EAN 9783540410553
ISBN 3540410554
Libristo-Code 01563048
Verlag Springer, Berlin
Gewicht 458
Abmessungen 155 x 235 x 17

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Datenbanken > Datenerfassung und -analyse
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto