Ebók

Lectures on Formal Methods and Performance Analysis

First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Ed Brinksma; ‎Holger Hermanns; ‎JoostPieter Katoen

Springer Nature

Prísur

374,95 kr.

Vørulýsing av

Lectures on Formal Methods and Performance Analysis

Finn líknandi bøkur her

Formal Methods for Software Architectures

Marco Bernardo; ‎Paola Inverardi

374,95 kr.

Formal Methods for Eternal Networked Software Systems

374,95 kr.

Formal Methods for Model-Driven Engineering

Author

374,95 kr.

Formal Methods for Executable Software Models

374,95 kr.

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

374,95 kr.

Formal Methods for Multicore Programming

354,95 kr.

Formal Methods for Dynamical Systems

Author

339,95 kr.

Unifying Theories of Programming and Formal Engineering Methods

374,95 kr.

Lectures on Formal and Rigid Geometry

Siegfried Bosch

449,95 kr.

Lectures on Lie Groups and Lie Algebras

Roger W. Carter; Ian G. MacDonald; Graeme B. Segal

444,95 kr.

Lectures on Political Economy (Routledge Revivals)

Knut Wicksell

849,95 kr.

Lectures on Advanced Computational Methods in Mechanics

899,95 kr.