Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Verification of Sequential and Concurrent Programs

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification of Sequential and Concurrent Programs Ernst-Rudiger Olderog
Libristo kód: 08577018
Nakladateľstvo Springer London Ltd, marec 2012
This book explores one of the most common approaches to program verification, known as the assertion... Celý popis
? points 195 b
80.73 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE / Kniha Pevná
common.buy 53.88 €
Pripravujeme
Les origines occultistes de la franc-maçonnerie Lozac'hmeur / Kniha Brožovaná
common.buy 22.58 €
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Kniha Brožovaná
common.buy 10.53 €
Allgemeine Biologie Oscar Hertwig / Kniha Brožovaná
common.buy 30.08 €
Мёртвые души Николай Гоголь / Kniha Brožovaná
common.buy 7.99 €
Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo / Kniha Brožovaná
common.buy 79.72 €
Studiolo Giorgio Agamben / E-kniha Adobe ePub DRM
common.buy 10.93 €
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Kniha Brožovaná
common.buy 9.11 €
Samsø Kulturreiseführer Kristen Benning / Kniha Brožovaná
common.buy 18.73 €
Quand les animaux nous font du bien Paoli laurence / Kniha Brožovaná
common.buy 25.52 €
NATURALEZA DE LA POLITICA, LA CASTELLANO / Kniha Kniha
common.buy 11.34 €
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Kniha Brožovaná
common.buy 14.48 €
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Kniha Brožovaná
common.buy 26.94 €
Le second crime de la Dame en noir - roman Lorde Kniha Brožovaná
common.buy 23.80 €
Trio GPG 5. Schulbuchtexte in einfacher Sprache. Mittelschulen. Bayern Thomas Bauer / Kniha Brožovaná
common.buy 28.66 €
Kleine Feigheiten Martina Naubert / Kniha Brožovaná
common.buy 9.11 €
Kinder Schlager Party Frank Und Die Nervensägen Zander / Audio Audio CD
common.buy 22.07 €
Der Deutsche Aufsatz: Neun Abtheilungen Stilistischer Aufgaben Und Ausarbeitungen (1866) Ernst Ludwig Rochholz / Kniha Brožovaná
common.buy 34.64 €
Dilemma Mutterschaft Claudia Winkler / Kniha Brožovaná
common.buy 59.76 €
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Kniha Brožovaná
common.buy 34.94 €
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Kniha Kniha
common.buy 18.02 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Verification of Sequential and Concurrent Programs
Autor Ernst-Rudiger Olderog
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 502
EAN 9781447125136
ISBN 9781447125136
Libristo kód 08577018
Nakladateľstvo Springer London Ltd
Váha 746
Rozmery 156 x 235 x 28

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Who Wrote The Book of Death? MR Steve Liskow / Kniha Brožovaná
common.buy 15.79 €
Cogat Practice Test (Kindergarten and Grade 1) Bright Minds Publishing Seattle Wa / Kniha Brožovaná
common.buy 26.94 €
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Kniha Brožovaná
common.buy 23.80 €
Tuttle Learner's Chinese-English Dictionary Li Dong / Kniha Brožovaná
common.buy 36.46 €
Divine Human in the Scri[tures Tayler Lewis / Kniha Pevná
common.buy 36.46 €
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Kniha Pevná
common.buy 32.81 €
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Kniha Brožovaná
common.buy 66.55 €
Real Estate Smart: The New Home Buying Guide Matt Parker / Kniha Brožovaná
common.buy 10.63 €
Stars in His Eyes Marti Gironell / Kniha Pevná
common.buy 24.71 €
Hawks Kettle, Puffins Wheel Susan Vande Griek / Kniha Pevná
common.buy 17.11 €
Fighting Chances: MM Enemies to Lovers Anthology E. M. Leya / Kniha Brožovaná
common.buy 25.21 €
Top
Alfa Romeo Alfasud Martin Chris Martin / Kniha Pevná
common.buy 29.98 €
Come Out Swinging Lucia Trimbur / E-kniha Adobe ePub DRM
common.buy 38.99 €
"JEALOUSY" Sarah Flowers / Kniha Brožovaná
common.buy 14.88 €
AI in Modern Architecture and Design Asmaa Ibrahim / Kniha Pevná
common.buy 115.88 €
New Channels of Music Distribution C. Michael Brae / Kniha Brožovaná
common.buy 47.70 €
Superconductors at the Nanoscale Roger Wördenweber / Kniha Pevná
common.buy 159.04 €
Moving Past Cindy Cipriani / Kniha Pevná
common.buy 28.86 €
Low-Born Lass Mary Emma Martin / Kniha Brožovaná
common.buy 23.59 €
Eighth Method Brian Bain / Kniha Brožovaná
common.buy 11.23 €
Social work in end-of-life and palliative care Malcolm Payne / Kniha Brožovaná
common.buy 33.52 €
Housing in Rural America Joseph N. Belden / Kniha Brožovaná
common.buy 54.29 €
Thought & Culture of the English Renaissance Elizabeth M. Nugent / Kniha Brožovaná
common.buy 109.60 €
Who Are We?, English edition Samuel P. Huntington / Kniha Brožovaná
common.buy 15.49 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?