Boekhandel Douwes Den Haag

Lecture Notes in Computer Science

Formal Modeling and Analysis of Timed Systems

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Enrico Vicario & Sriram Sankaranarayanan

Formal Modeling and Analysis of Timed Systems

Lecture Notes in Computer Science

Formal Modeling and Analysis of Timed Systems

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Lecture Notes in Computer Science: Formal Modeling and Analysis of Timed Systems

 

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015.The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications.


Langere levertijd

€ 62,50

Bezorgen: Levertijd op aanvraag


ISBN
9783319229744
Pagina's
321
Verschenen
Serie
Lecture Notes in Computer Science
NUR
980
Druk
1
Uitvoering
Paperback / softback
Taal
Engels
Uitgever
Springer International Publishing AG

Informatica




ondertitel

serie

auteur


meer informatie

ondertitel

serie

auteur


meer informatie

ondertitel

serie

auteur


abonneren