Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Formal Techniques in Real-Time and Fault-Tolerant Systems

7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Techniques in Real-Time and Fault-Tolerant Systems Werner Damm
Libristo-Code: 01564611
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2002
This book constitutes the refereed proceedings of the 7th International Symposium on Formal Techniqu... Vollständige Beschreibung
? points 111 b
45.49 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Rehabilitation bei Querschnittlahmung Math Buck / Buch Broschur
common.buy 74.99 €
El Amor del Millonario Veronica S. / Buch Broschur
common.buy 14.99 €
Enjeux théoriques en syntaxe : interfaces, cognition et linéarité Guilliot / Buch Buch
common.buy 24.09 €
Requiem für eine romantische Frau, 1 DVD Dagmar Knöpfel / Video DVD
common.buy 19.99 €
Universidad y cultura politica en el Peru Omar Yalle Quincho / Buch Broschur
common.buy 69.09 €
Kayak, compost et rock'n roll Filleul / Buch Broschur
common.buy 11.79 €
IL Y A Guillaume APOLLINAIRE / Buch Hardcover
common.buy 19.89 €
Artémisia Alexandra Lapierre / Buch Broschur
common.buy 12.09 €
Les licornes - Livre de décalcomanies Hannah Watson / Buch Broschur
common.buy 8.09 €
Mozart Arias, 1 Audio-CD Regula/KOB/Michelangeli Mühlemann / Audio Audio CD
common.buy 10.39 €
Enjeux et perspectives des négociations commerciales multilatérales Emma Marie Solange Ngondje Songué / Buch Broschur
common.buy 31.09 €
Olasilik ve Olasilik Dagilimlari Canan Hamurkaroglu / Buch Broschur
common.buy 16.99 €
DESDE SANTURCE A BIZANCIO-EL PODER NACIONALIZADOR DE LAS PAL JESUS LAINZ / Buch Broschur
common.buy 27.49 €

This book constitutes the refereed proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, held in Oldenburg, Germany, in September 2002.The 17 revised full papers presented together with 2 invited tutorials and 6 invited papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on synthesis and scheduling, timed automata, bounded model checking, verification and conformance testing, and UML models and model checking.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Techniques in Real-Time and Fault-Tolerant Systems
Autor Werner Damm, Ernst-Rüdiger Olderog
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2002
Anzahl der Seiten 462
EAN 9783540441656
ISBN 3540441654
Libristo-Code 01564611
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1450
Abmessungen 155 x 235 x 26

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Datenbanken > Datenerfassung und -analyse
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
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

Das könnte Sie auch interessieren

Demnächst
Strategic KAIZEN (TM): Using Flow, Synchronization, and Leveling [FSL (TM)] Assessment to Measure and Strengthen Operational Performance Masaaki Imai / Buch Hardcover
common.buy 29.89 €
Controversies in the Pentateuch: Genesis through Deuteronomy David Criswell / Buch Broschur
common.buy 13.19 €
An Overview of Home Health and Hospice Care Patients: 1996 National Home and Hospice Care Survey Barbara J Haupt / Buch Broschur
common.buy 13.19 €
Living Positive with Imperfection Robert D Bob Patton / Buch Broschur
common.buy 15.49 €
Study Guide for Samuel Beckett's Krapp's Last Tape Cengage Learning Gale / Buch Broschur
common.buy 9.99 €
Morals and Dogma: Of the Ancient and Accepted Scottish Rite Of Freemasonry Albert Pike / Buch Broschur
common.buy 29.59 €
G Protein Coupled Receptors P Michael Conn / Buch Hardcover
common.buy 130.89 €
The Sha'lee Resurrection and The Medallion of Lorn: Omnibus Edition MR Keith Argyle / Buch Broschur
common.buy 24.79 €
2 Corintios Loren Vangalder / Buch Broschur
common.buy 8.99 €
Electronic Waste - Recycling and Reprocessing for a Sustainable Future Maria E Holuszko / Buch Hardcover
common.buy 143.19 €
Top
The Courage To Be Disliked Ichiro Kishimi / Buch Broschur
common.buy 7.79 €
Anesthesiology: A Practical Approach Dennis Hanks / Buch Hardcover
common.buy 110.79 €
History of Psellus Psellus Michael Psellus / Buch Broschur
common.buy 24.09 €
What's My Name? Jenelle Tiina Walsh / Buch Broschur
common.buy 15.39 €
Arado Ar 234 Bomber and Reconnaissance Units Nick Beale / Buch Broschur
common.buy 17.89 €
lebende Bibliothek JEAN-LUC ST PH GOLI / Buch Broschur
common.buy 42.69 €
From Dixie to Canada Homer Uri Johnson / Buch Broschur
common.buy 14.69 €
Enigma Variations André Aciman / E-Book Adobe ePub DRM
common.buy 7.09 €
Creation of Postfix Mail Server Based on Virtual Users and Domains Dr. Hidaia Mahmood Alassouli / Buch Broschur
common.buy 19.59 €
Surprise - and other erotic short stories Cupido / Hörbuch MP3
common.buy 7.89 €
Top
Onyx Storm Rebecca Yarros / Buch Broschur
common.buy 12.99 €
Oxford Handbook of the Mauritian Economy Ramola Ramtohul / Buch Hardcover
common.buy 207.09 €
Top
Murder Most Puzzling Poisoned Patisserie 500-Piece Puzzle Stephanie von Reiswitz / Spiel/Spielzeug Puzzle
common.buy 12.69 €
Top
The Fragrant Flower Blooms with Dignity 10 Saka Mikami / Buch Broschur
common.buy 9.79 €

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