Ebók

Formal Methods for Components and Objects

8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Frank S. de Boer; ‎Marcello M. Bonsangue; ‎Stefan Hallerstede

Springer Nature

Prísur

374,95 kr.

Vørulýsing av

Formal Methods for Components and Objects

Finn líknandi bøkur her

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 Industrial Critical Systems

Author

354,95 kr.

Formal Methods for Nonmonotonic and Related Logics

Karl Schlechta

679,95 kr.

Formal Methods for Software Architectures

Marco Bernardo; ‎Paola Inverardi

374,95 kr.

Formal Methods for Multicore Programming

354,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 Open Object-Based Distributed Systems

Alessandro Fantechi; Paolo Ciancarini; Roberto Gorrieri

749,95 kr.

Formal Methods for Dynamical Systems

Author

339,95 kr.

Formal Methods for Embedded Distributed Systems

Fabrice Kordon; ‎Michel Lemoine

679,95 kr.

Formal Methods for an Informal World

374,95 kr.