Formal Modeling and Analysis of Timed Systems
Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
E-bok
PDF, Engelska, 2005708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Confessions of an AI Brain
Elena Fersman, Paul Pettersson, Athanasios Karapantelakis, Christina Chaccour
Häftad, 2026
391 kr
Del 100
Skånskt järn
Anders Ödman, Eva Hjärthner-Holdar, Annika Willim, Svante Forenius, Lena Grandin, Paul Pettersson
Häftad, 2014
209 kr
Del 9409
Dependable Software Engineering: Theories, Tools, and Applications
Xuandong Li, Zhiming Liu, Wang Yi
Häftad, 2015
543 kr
Del 26
Dependable Software Engineering: Theories, Tools, and Applications
Wang Yi, Zhiming Liu, Xuandong Li
E-bok
2015635 kr
Model Checking, Synthesis, and Learning
Wang Yi, Bernhard Steffen, Ernst-Rudiger Olderog
E-bok
2021865 kr