Liknande böcker

Formal Modeling and Analysis of Timed Systems : 5th International Confer...
Bok av Jean-François. Raskin
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Construction and Analysis of Safe, Secure, and Interoperable Smart Devic...
Bok av Gilles. Barthe
Programming Multi-Agent Systems : 4th International Workshop, ProMAS 200...
Bok av Rafael H. Bordini
Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Aus...
Bok av María J. Blesa
Runtime Verification : 9th International Workshop, RV 2009, Grenoble, Fr...
Bok av Saddek. Bensalem
Formal Methods for Components and Objects (vol. # 4111) : 4th Internatio...
Bok av Frank S. de Boer

Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Bok av Paul. Pettersson
9783540316169
Välj utgåva
Alla
Visa alla 2 utgåvor
Formal Modeling and Analysis of Timed Systems : Third International Conf...Engelska - Pocket
ISBN: 9783540309468
Formal Modeling and Analysis of Timed Systems : Third International Conf...Engelska - E-bok
ISBN: 9783540316169
Visa pris inkl. frakt Inkl. frakt
Bokus
799 kr fri frakt
Finns i lager
Till butik
Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
799 kr
Finns i lager
Listan innehåller betalda länkar
Vilka butiker visas?