Formal Modeling and Analysis of Timed Systems 1st Editie

First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers 1st Editie is geschreven door Kim G. Larsen; ‎Peter Niebert en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Formal Modeling and Analysis of Timed Systems zijn 9783540409038, 3540409033 en de ISBN's voor gedrukt materiaal zijn 9783540216711, 3540216715. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers 1st Editie is geschreven door Kim G. Larsen; ‎Peter Niebert en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Formal Modeling and Analysis of Timed Systems zijn 9783540409038, 3540409033 en de ISBN's voor gedrukt materiaal zijn 9783540216711, 3540216715. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.