Formal Refinement for Operating System Kernels

Nowość

Najedź, aby powiększyć1 / 1

Nowość

Formal Refinement for Operating System Kernels

0,0(0)

Stan: Nowy

Sprzedaje i wysyła sklep partnerski Legimi.pl
Dostawa i zwroty według zasad sklepu partnerskiego
Po złożeniu zamówienia w allee dostaniesz link do zakupu w sklepie
Produkt nowy

Allee AI — najważniejsze o produkciez parametrów oferty

Stan	Nowy
Sprzedawca	Legimi.pl

587,09zł

Sprzedaje i wysyła:Legimi.plsklep partnerski allee

Zamawiasz w allee — w potwierdzeniu dostaniesz link do zakupu w sklepie Legimi.plPłatność i metody płatności według sklepu partnerskiego

Dostawa według zasad sklepuTermin i koszt dostawy ustala sklep partnerski Legimi.pl

Dostawawg cennika sklepu
Zwroty i reklamacjew sklepie partnerskim
WysyłaLegimi.pl

Dostępne · 1 sztuka

Sprzedaje i wysyła: Legimi.pl — sklep partnerski allee
Dostawa według zasad sklepu partnerskiego
Zwroty i reklamacje według zasad sklepu partnerskiego
Link do sklepu jest linkiem partnerskim allee

Legimi.pl0 ocen · od 2026

Sprzedaje i wysyła: Legimi.pl — sklep partnerski allee. Dostawa, zwroty i reklamacje według zasad sklepu.

Parametry

Ogólne

StanNowy

KategoriaLiteratura piękna

SprzedawcaLegimi.pl

Numer oferty13149821

Dostawa i zwroty

Sprzedaje i wysyłaLegimi.pl (sklep partnerski)

Dostawawedług zasad sklepu

Zwroty i reklamacjewedług zasad sklepu

Opis

Formal Refinement for Operating System Kernels — zdjęcie produktu — Formal Refinement for Operating System Kernels
The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement proce…

Kupujesz w allee

Sklep partnerski

Sprzedaje i wysyła Legimi.pl — sklep partnerski allee.

Zamówienie w allee

Dodaj do koszyka, złóż zamówienie, a dostaniesz link do zakupu w sklepie.

Dostawa i zwroty

Według zasad sklepu partnerskiego Legimi.pl.

The kernel of any operating system is its most critical component, as the rest of the system depends on it. This book shows how the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. This formal refinement process ensures that the code precisely meets the specification. The author documents the complete process, including proofs.

Inne oferty tego produktu

Porównaj sprzedawców i sklepy partnerskie

To jedyna oferta tego produktu w alleeGdy inni sprzedawcy wystawią ten sam produkt (ten sam EAN albo marka i model), porównasz ich tutaj.

Często kupowane razem

Ten produkt: Formal Refinement for Operating System Kernels587,09zł

Lodowa Kraina17,60zł

Labirynt cienia17,60zł

Razem za 3 produkty:622,29zł

Opinie kupujących

0,0

Brak opinii

Co mówią kupujący

Allee AI podsumuje opinie, gdy kupujący dodadzą pierwsze recenzje po zakupie.

Brak opinii — bądź pierwszyOpinię wystawisz po otrzymaniu zamówienia. Pokazujemy tylko opinie z potwierdzonych zakupów.

Pytania i odpowiedzi

Najczęstsze pytania o produkt: Formal Refinement for Operating System Kernels

Ile kosztuje Formal Refinement for Operating System Kernels?

Na allee.pl Formal Refinement for Operating System Kernels kosztuje teraz 587,09 zł w sklepie Legimi.pl.

W jakiej kategorii jest Formal Refinement for Operating System Kernels?

Produkt Formal Refinement for Operating System Kernels znajdziesz na allee.pl w kategorii Kultura i rozrywka › Książki › Literatura piękna.

Kto sprzedaje produkt Formal Refinement for Operating System Kernels?

Produkt Formal Refinement for Operating System Kernels sprzedaje i wysyła sklep internetowy Legimi.pl — sklep partnerski allee.pl. Zamówienie składasz w allee, a zakup kończysz w sklepie.

Ile kosztuje dostawa produktu Formal Refinement for Operating System Kernels?

Koszt dostawy produktu Formal Refinement for Operating System Kernels ustala sklep Legimi.pl — zobaczysz go w sklepie przed zapłatą.

Czy produkt Formal Refinement for Operating System Kernels jest nowy?

Formal Refinement for Operating System Kernels na allee.pl to produkt w stanie: nowy.

Czy można zwrócić produkt Formal Refinement for Operating System Kernels?

Zwroty i reklamacje produktu Formal Refinement for Operating System Kernels obsługuje sklep Legimi.pl. Kupując przez internet jako konsument, co do zasady masz 14 dni na odstąpienie od umowy bez podawania przyczyny.

Nikt jeszcze nie zadał pytaniaZapytaj sprzedawcę — odpowiedź dostaniesz w wiadomościach.