• Produktbild: Formal Methods for the Design of Real-Time Systems
  • Produktbild: Formal Methods for the Design of Real-Time Systems
Band 3185

Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.09.2004

Abbildungen

VII, 297 p.

Herausgeber

Marco Bernardo + weitere

Verlag

Springer Berlin

Seitenzahl

297

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

470 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-23068-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.09.2004

Abbildungen

VII, 297 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

297

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

470 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-23068-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Formal Methods for the Design of Real-Time Systems
  • Produktbild: Formal Methods for the Design of Real-Time Systems
  • Models and Languages.- Decision Problems for Timed Automata: A Survey.- Timed Petri Nets: Efficiency of Asynchronous Systems.- Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).- Expressiveness of Timed Events and Timed Languages.- Real Time and Stochastic Time.- On the Semantic Foundations of Standard UML 2.0.- Tools and Applications.- A Tutorial on Uppaal.- The IF Toolset.- Embedded Software Analysis with MOTOR.