Algorithmic Logic

Name: Algorithmic Logic
SKU: 9737864
Price: 67.00 PLN
Availability: OutOfStock
Author: Grażyna Mirkowska

Praca zbiorowa pod red.:

Grażyna Mirkowska

brak ocen

Rok wydania: 1987 Język wydania: angielski Wydawnictwo: D. Reidel Pubihig Company » Rodzaj okładki: Twarda Wymiar: 16x23cm Ilość stron: 372 Waga: 0.696 kg TIN: T07054848 Stan: Używana

Stan egzemplarza: Z uszkodzeniami

Obwoluta/Oprawa: uszkodzona / naderwana

Inne: zapiski

Produkt niedostępny

Powiadom mnie o dostępności tego produktu

dodaj do listy życzeń

Algorithmic Logic - Grażyna Mirkowska

Książka stanowi fundamentalne wprowadzenie do logiki algorytmicznej, będącej jednym z kluczowych obszarów informatyki teoretycznej. Autorzy przedstawiają formalne podstawy opisu i analizy programów komputerowych, łącząc logikę matematyczną z semantyką programowania. Omawiane są. struktury algebraiczne, języki formalne, własności semantyczne programów oraz zagadnienia takie jak poprawność, warunki początkowe i końcowe, oraz niezmienniki. Dzieło zawiera także porównania z innymi logikami programów, takimi jak logika Hoare’a czy rachunek słabych warunków wstępnych Dijkstry. To cenna pozycja dla studentów informatyki, badaczy oraz osób zainteresowanych formalnym podejściem do konstrukcji i analizy oprogramowania.

DOSTAWA

Staramy się, aby Twoje książki dotarły do Ciebie jak najszybciej. Zamówienia złożone i opłacone do godziny 10:00 wysyłamy jeszcze tego samego dnia.

FORMY DOSTAWY

Wszystkie nasze paczki bezpiecznie i szybko dostarcza InPost. Masz do wyboru:

InPost Paczkomat 24/7 - 13,99 zł (Dostawa 1-2 dni robocze)
InPost Kurier - 13,99 zł (Dostawa 1-2 dni robocze)
InPost Kurier za pobraniem - 27,99 zł (Dostawa 1-2 dni robocze)
MiniPaczka InPost - 9,00 zł (Dostawa w następny dzień roboczy)

DARMOWA DOSTAWA

Dla wszystkich zamówień o wartości powyżej 199 zł dostawa jest całkowicie darmowa!

FORMY PŁATNOŚCI

Za swoje zamówienie możesz zapłacić w wygodny dla Ciebie sposób:

Szybkie płatności online - Przelewy24 (DotPay) – szybki i bezpieczny przelew z Twojego banku, płatność kartą płatniczą, PayPal lub płatność BLIK.
Przelew tradycyjny – dane do przelewu otrzymasz w mailu potwierdzającym zamówienie.
Płatność przy odbiorze gotówką lub kartą

(Uwaga: w przypadku płatności PayPal należy wpisać e-mail odbiorcy: sklep@tezeusz.pl)

Nie dodano jeszcze żadnej opinii.

brak ocen

Musisz być zalogowanym użytkownikiem, aby dodawać opinie o produktach.

ZALOGUJ SIĘ