Formal Methods for Nonmonotonic and Related Logics

Formal Methods for Nonmonotonic and Related Logics

Karl Schlechta

639,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 Mining Structured Objects

Gemma C Garriga

679,95 kr.

Formal Methods for Industrial Critical Systems

Author

354,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 Components and Objects

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

374,95 kr.

Formal Methods for Embedded Distributed Systems

Fabrice Kordon; ‎Michel Lemoine

679,95 kr.