Program Development by Refinement: Case Studies Using The B Method
(9781852330538)
Preis von (3 Angebote)156.92 EUR
Weitere Informationen
Formal Refinement for Operating System Kernels
Gesponsert
Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
Weitere Informationen
SpringerLink DE
118.00 EUR
Siehe Produktangebot
Dieses Produkt im Comparor
KategorieDieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
InternationalFinden Sie dieses Produkt in einem unserer internationalen Geschäfte
Dieses Produkt wurde in anderen Ländern nicht gefunden
FarbenVorherrschende Farben des Produkts
Bezeichner
ISBN
1846289661
MPN
biography
ID
12565800
Formal Refinement for Operating System Kernels
Springer (9781849966894) | For Operating System Kernels
Preis von (3 Angebote)101.94 EUR
Weitere Informationen
On the Refinement Calculus
Springer (9783540199311) | On the Refinement Calculus
Preis von (3 Angebote)53.49 EUR
Weitere Informationen
FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik: Zur Integration von Datenbank- und Wissensrepräsentationsansätzen
(9783540506805)
Preis von (2 Angebote)54.99 EUR
Weitere Informationen
Formale Verfeinerung für Betriebssystemkerne
Preis von (2 Angebote)94.00 EUR
Weitere Informationen
Formales Geschäftsplanungsstudium für kleine und mittlere Unternehmen
Preis von (1 Angebote)49.00 EUR
Weitere Informationen