Formal Refinement for Operating System Kernels

Wo zu kaufen (1) Eigenschaften
Gesponsert
Formal Refinement for Operating System Kernels
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 03-11-2026 18:31:16
Siehe Produktangebot

Allgemein

ISBN
1846289661
MPN
biography

Eigenschaften

Ähnliche Produkte

Program Development by Refinement: Case Studies Using The B Method (Formal Approaches to Computing and Information Technology (FACIT))
Program Development by Refinement: Case Studies Using The B Method (Formal Approaches to Computing and Information Technology (FACIT))
Aus156.92 EUR 3
Produkt anzeigen
Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
Aus101.94 EUR 3
Produkt anzeigen
Formal Refinement for Operating System Kernels
Formal Refinement for Operating System Kernels
Aus94.00 EUR 2
Produkt anzeigen
On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT))
On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT))
Aus53.49 EUR 3
Produkt anzeigen
FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik
FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik
Aus54.99 EUR 2
Produkt anzeigen
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
Aus49.00 EUR 1
Produkt anzeigen
Menü