Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification of Sequential and Concurrent Programs

Język AngielskiAngielski
Książka Miękka
Książka Verification of Sequential and Concurrent Programs Ernst-Rudiger Olderog
Kod Libristo: 08577018
Wydawnictwo Springer London Ltd, marzec 2012
This book explores one of the most common approaches to program verification, known as the assertion... Cały opis
? points 195 b
341.26 zł
Dostępna u dostawcy Wysyłamy za 8-11 dni

30 dni na zwrot towaru

Klienci kupili także

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE / Książka Twarda
common.buy 229.21 zł
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Książka Miękka
common.buy 61.03 zł
Мёртвые души Николай Гоголь / Książka Miękka
common.buy 37.58 zł
Samsø Kulturreiseführer Kristen Benning / Książka Miękka
common.buy 80.07 zł
Quand les animaux nous font du bien Paoli laurence / Książka Miękka
common.buy 109.54 zł
Le second crime de la Dame en noir - roman Lorde Książka Miękka
common.buy 102.02 zł
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Książka Miękka
common.buy 119.46 zł
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Książka Książka
common.buy 76.26 zł
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Książka Miękka
common.buy 45.29 zł
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Książka Miękka
common.buy 147.62 zł
Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo / Książka Miękka
common.buy 351.49 zł
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Książka Miękka
common.buy 38.68 zł

This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verification of Sequential and Concurrent Programs
Autor Ernst-Rudiger Olderog
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 502
EAN 9781447125136
ISBN 9781447125136
Kod Libristo 08577018
Wydawnictwo Springer London Ltd
Waga 746
Wymiary 156 x 235 x 28

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Who Wrote The Book of Death? MR Steve Liskow / Książka Miękka
common.buy 70.45 zł
Real Estate Smart: The New Home Buying Guide Matt Parker / Książka Miękka
common.buy 47.40 zł
"JEALOUSY" Sarah Flowers / Książka Miękka
common.buy 66.14 zł
Hawks Kettle, Puffins Wheel Susan Vande Griek / Książka Twarda
common.buy 75.96 zł
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Książka Miękka
common.buy 295.86 zł
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Książka Twarda
common.buy 145.92 zł
Tuttle Learner's Chinese-English Dictionary Li Dong / Książka Miękka
common.buy 155.84 zł
Eighth Method Brian Bain / Książka Miękka
common.buy 49.80 zł
Superconductors at the Nanoscale Roger Wördenweber / Książka Twarda
common.buy 672.12 zł
TOP
Who Are We?, English edition Samuel P. Huntington / Książka Miękka
common.buy 69.95 zł
Housing in Rural America Joseph N. Belden / Książka Miękka
common.buy 230.41 zł
Social work in end-of-life and palliative care Malcolm Payne / Książka Miękka
common.buy 149.93 zł
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Książka Miękka
common.buy 106.53 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo