Lectures on Formal Methods and Performance Analysis
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
Häftad
551 kr
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-
Engelska, 2014
650 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
Häftad
551 kr
Del 14464
Dependable Software Engineering. Theories, Tools, and Applications
Holger Hermanns, Jun Sun, Lei Bu
Häftad
878 kr
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad
535 kr
Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns, Jens Palsberg
Häftad
551 kr
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Holger Hermanns, Roberto Segala
Häftad
535 kr