Ebók

Formal Engineering for Industrial Software Development

Using the SOFL Method

Shaoying Liu

Springer Nature

Prísur

374,95 kr.

Vørulýsing av

Formal Engineering for Industrial Software Development

Finn líknandi bøkur her

Formal Methods for Industrial Critical Systems

Author

354,95 kr.

Critical Systems: Formal Methods and Automated Verification

374,95 kr.

Formal Methods for Components and Objects

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

374,95 kr.

Formal Methods for Software Engineering

Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh

449,95 kr.

Formal Methods for Model-Driven Engineering

Author

374,95 kr.

Formal Techniques for Safety-Critical Systems

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 Techniques for Distributed Objects, Components, and Systems

374,95 kr.

Formal Techniques for Distributed Systems

Holger Giese; Grigore Rosu

374,95 kr.

Formal Methods for Software Architectures

Marco Bernardo; ‎Paola Inverardi

374,95 kr.

Formal Methods for Multicore Programming

354,95 kr.