Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer London Ltd, březen 2012
This book explores one of the most common approaches to program verification, known as the assertion... Celý popis
? points 217 b
2 174 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE / Kniha Pevná
common.buy 1 306 Kč
Samsø Kulturreiseführer Kristen Benning / Kniha Brožovaná
common.buy 457 Kč
Quand les animaux nous font du bien Paoli laurence / Kniha Brožovaná
common.buy 622 Kč
NATURALEZA DE LA POLITICA, LA CASTELLANO / Kniha Kniha
common.buy 251 Kč
Le second crime de la Dame en noir - roman Lorde Kniha Brožovaná
common.buy 580 Kč
Мёртвые души Николай Гоголь / Kniha Brožovaná
common.buy 194 Kč
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Kniha Brožovaná
common.buy 328 Kč
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Kniha Brožovaná
common.buy 651 Kč
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Kniha Kniha
common.buy 437 Kč
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Kniha Brožovaná
common.buy 258 Kč
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Kniha Brožovaná
common.buy 844 Kč
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Kniha Brožovaná
common.buy 208 Kč
Kinder Schlager Party Frank Und Die Nervensägen Zander / Audio Audio CD
common.buy 508 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Verification of Sequential and Concurrent Programs
Autor Ernst-Rudiger Olderog
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 502
EAN 9781447125136
ISBN 9781447125136
Libristo kód 08577018
Nakladatelství Springer London Ltd
Váha 746
Rozměry 156 x 235 x 28

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Who Wrote The Book of Death? MR Steve Liskow / Kniha Brožovaná
common.buy 382 Kč
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Kniha Brožovaná
common.buy 1 606 Kč
"JEALOUSY" Sarah Flowers / Kniha Brožovaná
common.buy 360 Kč
Fighting Chances: MM Enemies to Lovers Anthology E. M. Leya / Kniha Brožovaná
common.buy 609 Kč
Hawks Kettle, Puffins Wheel Susan Vande Griek / Kniha Pevná
common.buy 412 Kč
Stars in His Eyes Marti Gironell / Kniha Pevná
common.buy 565 Kč
Real Estate Smart: The New Home Buying Guide Matt Parker / Kniha Brožovaná
common.buy 258 Kč
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Kniha Pevná
common.buy 794 Kč
Tuttle Learner's Chinese-English Dictionary Li Dong / Kniha Brožovaná
common.buy 888 Kč
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Kniha Brožovaná
common.buy 574 Kč
New Channels of Music Distribution C. Michael Brae / Kniha Brožovaná
common.buy 1 086 Kč
Superconductors at the Nanoscale Roger Wördenweber / Kniha Pevná
common.buy 3 641 Kč
Social work in end-of-life and palliative care Malcolm Payne / Kniha Brožovaná
common.buy 810 Kč
Housing in Rural America Joseph N. Belden / Kniha Brožovaná
common.buy 1 313 Kč
No-Sew Knits Kristen Kristen TenDyke / Kniha Brožovaná
common.buy 647 Kč
Who Are We?, English edition Samuel P. Huntington / Kniha Brožovaná
common.buy 350 Kč
Eighth Method Brian Bain / Kniha Brožovaná
common.buy 271 Kč
Low-Born Lass Mary Emma Martin / Kniha Brožovaná
common.buy 571 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?