Formal Modeling and Analysis of Timed Systems

ISBN 10: 3540450262 ISBN 13: 9783540450269

Verlag: Springer, 2006

Sprache: Englisch

Gebraucht Zustand: Used Softcover

F�r sp�ter vormerken

Verk�ufer Majestic Books, Hounslow, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 19. Januar 2007

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Preis: EUR 53,14 W�hrung umrechnen

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

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

pp. 388 Illus. Bestandsnummer des Verk�ufers 7545589

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Formal Modeling and Analysis of Timed Systems

Verlag: Springer

Erscheinungsdatum: 2006

Einband: Softcover

Zustand: Used

�ber diesen Titel

Inhaltsangabe:

This book constitutes the refereed proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006. The book presents 22 revised full papers presented together with 3 invited talks. Coverage includes work on foundations and semantics of timed systems including timed automata, timed Petri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models.

Rese�a del editor:

��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