Formal Refinement for Operating System Kernels | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Formal Refinement for Operating System Kernels
  • #
  • #

Formal Refinement for Operating System Kernels

118.00 EUR 101.94 EUR 14% Off

Teilen:
Gesponsert

Formal Refinement for Operating System Kernels

Medimops DE
101.94 EUR
29-10-2026 01:23:44
Gesponsert

Formal Refinement for Operating System Kernels

Hugendubel
106.99 EUR
28-10-2026 23:17:20
Gesponsert

Formal Refinement for Operating System Kernels, Fachbücher von Iain D. Craig

Galaxus.de
106.99 EUR
29-10-2026 14:05:21
Gesponsert

Formal Refinement for Operating System Kernels

SpringerLink DE
118.00 EUR
28-10-2026 06:37:17

Ähnliche Produkte

On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT))

On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT))

53.49 EUR
FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik: Zur Integration von Datenbank

FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik: Zur Integration von Datenbank- und Wissensrepräsentationsansätzen

54.99 EUR
Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

106.99 EUR
Program Development by Refinement

Program Development by Refinement

156.92 EUR
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science, 15189, Band 15189)

Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science, 15189, Band 15189)

53.48 EUR
Software Engineering and Formal Methods

Software Engineering and Formal Methods

74.89 EUR