Lectures on Formal Methods and Performance Analysis
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
Häftad, 2001
560 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
667 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Produktinformation
Hoppa över listan
Du kanske också är intresserad av
Lectures on Formal Methods and Performance Analysis
Joost-Pieter Katoen, Holger Hermanns, Ed Brinksma
E-bok
2003734 kr
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
560 kr
Dependable Software Engineering. Theories, Tools, and Applications
Lei Bu, Jun Sun, Holger Hermanns
E-bok
20231 141 kr
Del 14464
Dependable Software Engineering. Theories, Tools, and Applications
Holger Hermanns, Jun Sun, Lei Bu
Häftad, 2023
892 kr