Lectures on Formal Methods and Performance Analysis
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
Häftad, 2001
556 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
644 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, 1995
556 kr
Del 14464
Dependable Software Engineering. Theories, Tools, and Applications
Holger Hermanns, Jun Sun, Lei Bu
Häftad, 2023
885 kr
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad, 2004
540 kr
Tools and Algorithms for the Construction and Analysis of Systems
Holger Hermanns, Jens Palsberg
Häftad, 2006
556 kr
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Holger Hermanns, Roberto Segala
Häftad, 2002
540 kr