Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings: 7595 (Theoretical Computer Science and General Issues) - Softcover

9783642333644: Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings: 7595 (Theoretical Computer Science and General Issues)

Softcover

ISBN 10: 3642333648 ISBN 13: 9783642333644

Verlag: Springer, 2012

This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012.
The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits.

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

VerlagSpringer
Erscheinungsdatum2012
ISBN 10 3642333648
ISBN 13 9783642333644
EinbandTapa blanda
SpracheEnglisch
Anzahl der Seiten280
HerausgeberJurdzinski Marcin, Nickovic Dejan
Kontakt zum HerstellerNicht verf�gbar

Neu kaufen

Diesen Artikel anzeigen

EUR 49,22

W�hrung umrechnen

Gratis f�r den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Weitere beliebte Ausgaben desselben Titels

9783642333668: Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

Vorgestellte Ausgabe

ISBN 10: 3642333664 ISBN 13: 9783642333668
Verlag: Springer, 2012
Softcover

Suchergebnisse f�r Formal Modeling and Analysis of Timed Systems: 10th...

Foto des Verk�ufers

Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

Dejan Nickovic

Verlag: Springer Berlin Heidelberg, 2012

ISBN 10: 3642333648 ISBN 13: 9783642333644

Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012.The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits. Artikel-Nr. 9783642333644

Verk�ufer kontaktieren