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
Logic of Programming and Calculi of Discrete Design
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This volume contains the proceedings of the NATO-sponsored Advanced Research Study Institute on Logi...
Celý popis
Libristo kód: 02012258
?
154 b
154 b
1 540
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 volume contains the proceedings of the NATO-sponsored Advanced Research Study Institute on Logic of Programming and Calculi of Discrete Design, held in continuation of the series of well-known summer schools in Marktoberdorf, July 29-August 10, 1986. The proceedings give an excellent overview of the state of the art in formal methods of program design. The book treats both logic in programming and formal calculi in the discrete design of programs and systems, including foundations of logic, equational logic, modal logics, support systems for logical reasoning, and design calculi for programs and program specifications.
Informace o knize
Plný název
Logic of Programming and Calculi of Discrete Design
Autor
Manfred Broy, F. Bauer, M.- Broy, E.W. Dijkstra
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2012
Počet stran
415
EAN
9783642873768
ISBN
3642873766
Libristo kód
02012258
Nakladatelství
Springer, Berlin
Váha
733
Rozměry
170 x 244 x 22
