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

Formal Refinement for Operating System Kernels

106.99 EUR 99.04 EUR 7% Off

Teilen:
Gesponsert

Formal Refinement for Operating System Kernels

Medimops DE
99.04 EUR
22-04-2026 05:43:27
Gesponsert

Formal Refinement for Operating System Kernels

SpringerLink DE
106.99 EUR
22-04-2026 09:08:43
Gesponsert

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

Galaxus.de
106.99 EUR
21-04-2026 19:21:39

Ä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

159.58 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
Formal Refinement for Operating System Kernels

Formal Refinement for Operating System Kernels

85.59 EUR
Chaudhuri, Lutfun Nahar: Issledowanie wzaimoswqzi mezhdu formal'nym biznes-planirowaniem i malym i srednim biznesom

Chaudhuri, Lutfun Nahar: Issledowanie wzaimoswqzi mezhdu formal'nym biznes-planirowaniem i malym i srednim biznesom

36.43 EUR