Formal Modeling and Analysis of Timed Systems

ISBN 10: 3540754539 ISBN 13: 9783540754534

Verlag: Springer, 2007

Sprache: Englisch

Zustand: Neu Softcover

F�r sp�ter vormerken

Verkauft von Majestic Books, Hounslow, Vereinigtes K�nigreich

AbeBooks-Verk�ufer seit 19. Januar 2007

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Zustand: Neu

Preis: EUR 20,72 W�hrung umrechnen

EUR 10,25 f�r den Versand von Vereinigtes K�nigreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 4 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

pp. 386 Illus.

Bestandsnummer des Verk�ufers 7542874

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Formal Modeling and Analysis of Timed Systems
Verlag: Springer
Erscheinungsjahr: 2007
Sprache: Englisch
ISBN-10: 3540754539
ISBN-13: 9783540754534
Einband: Softcover
Zustand: New

�ber diesen Titel

Inhaltsangabe

This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.

Rese�a del editor

This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We specialise in General Interest Books from South Asian countries.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

BOOKS AND PERIODICALS AGENCY LTD
90 Barnet Gate Lane, Barnet, EN5 2AX, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Returns accepted if you are not satisfied with the Service or Book.

Versandbedingungen

Best packaging and fast delivery

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen