Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Verification of Sequential and Concurrent Programs
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book explores one of the most common approaches to program verification, known as the assertion...
Celý popis
Libristo kód: 08577018
?
249 b
249 b
2 492
Kč
včetně DPH
Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
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.
Informace o knize
Plný název
Verification of Sequential and Concurrent Programs
Autor
Ernst-Rudiger Olderog
Jazyk
Angličtina
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
