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 Kurier 12.99 zł Punkt DPD 11.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
349.08 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

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.03 zł
Zapowiedź
Les origines occultistes de la franc-maçonnerie Lozac'hmeur / Książka Miękka
common.buy 94.11 zł
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Książka Miękka
common.buy 45.41 zł
Allgemeine Biologie Oscar Hertwig / Książka Miękka
common.buy 136.86 zł
Мёртвые души Николай Гоголь / Książka Miękka
common.buy 38.44 zł
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Książka Miękka
common.buy 39.56 zł
Studiolo Giorgio Agamben / E-book Adobe ePub DRM
common.buy 47.56 zł
Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo / Książka Miękka
common.buy 359.54 zł
Samsø Kulturreiseführer Kristen Benning / Książka Miękka
common.buy 80.68 zł
Quand les animaux nous font du bien Paoli laurence / Książka Miękka
common.buy 106.61 zł
NATURALEZA DE LA POLITICA, LA CASTELLANO / Książka Książka
common.buy 48.69 zł
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Książka Miękka
common.buy 62.43 zł
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Książka Miękka
common.buy 122.20 zł
Esclave à Alger. Récit de captivité de Joao Mascarenhas (1621-1626) João de Carvalho Mascarenhas / Książka Miękka
common.buy 119.02 zł
Dilemma Mutterschaft Claudia Winkler / Książka Miękka
common.buy 258.55 zł
Kleine Feigheiten Martina Naubert / Książka Miękka
common.buy 39.36 zł
Kinder Schlager Party Frank Und Die Nervensägen Zander / Audio CD Audio
common.buy 95.34 zł
Der Deutsche Aufsatz: Neun Abtheilungen Stilistischer Aufgaben Und Ausarbeitungen (1866) Ernst Ludwig Rochholz / Książka Miękka
common.buy 157.47 zł
Trio GPG 5. Schulbuchtexte in einfacher Sprache. Mittelschulen. Bayern Thomas Bauer / Książka Miękka
common.buy 124.04 zł
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Książka Miękka
common.buy 151.01 zł
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Książka Książka
common.buy 77.80 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 72.06 zł
Cogat Practice Test (Kindergarten and Grade 1) Bright Minds Publishing Seattle Wa / Książka Miękka
common.buy 122.71 zł
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Książka Miękka
common.buy 108.97 zł
Tuttle Learner's Chinese-English Dictionary Li Dong / Książka Miękka
common.buy 154.08 zł
Divine Human in the Scri[tures Tayler Lewis / Książka Twarda
common.buy 165.67 zł
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Książka Twarda
common.buy 149.26 zł
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Książka Miękka
common.buy 302.23 zł
Real Estate Smart: The New Home Buying Guide Matt Parker / Książka Miękka
common.buy 48.48 zł
Stars in His Eyes Marti Gironell / Książka Twarda
common.buy 107.02 zł
Hawks Kettle, Puffins Wheel Susan Vande Griek / Książka Twarda
common.buy 77.29 zł
Fighting Chances: MM Enemies to Lovers Anthology E. M. Leya / Książka Miękka
common.buy 114.92 zł
Alfa Romeo Alfasud Martin Chris Martin / Książka Twarda
common.buy 129.68 zł
Come Out Swinging Lucia Trimbur / E-book Adobe ePub DRM
common.buy 168.44 zł
"JEALOUSY" Sarah Flowers / Książka Miękka
common.buy 67.66 zł
AI in Modern Architecture and Design Asmaa Ibrahim / Książka Twarda
common.buy 523.06 zł
New Channels of Music Distribution C. Michael Brae / Książka Miękka
common.buy 254.86 zł
Superconductors at the Nanoscale Roger Wördenweber / Książka Twarda
common.buy 687.51 zł
Moving Past Cindy Cipriani / Książka Twarda
common.buy 118.61 zł
Low-Born Lass Mary Emma Martin / Książka Miękka
common.buy 108.97 zł
Eighth Method Brian Bain / Książka Miękka
common.buy 50.94 zł
TOP
Social work in end-of-life and palliative care Malcolm Payne / Książka Miękka
common.buy 155.11 zł
Housing in Rural America Joseph N. Belden / Książka Miękka
common.buy 234.97 zł
Thought & Culture of the English Renaissance Elizabeth M. Nugent / Książka Miękka
common.buy 500.92 zł
Who Are We?, English edition Samuel P. Huntington / Książka Miękka
common.buy 71.55 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?