Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Path-Oriented Program Analysis

Name: Path-Oriented Program Analysis
Brand: Cambridge University Press
SKU: 02048924
Price: 129.04 EUR
Availability: PreOrder
Author: J. C. Huang
ISBN: 9780521882866

J. C. Huang

Език

Английски език

Книга С твърди корици

Код Либристо: 02048924

Издателство Cambridge University Press, декември 2007

This book presents a unique method for decomposing a computer program along its execution paths, for... Цялото описание

Код Либристо: 02048924

312 b

Подготвяме

129.04 €

252.39 лв

Очаква се допечатка

Срокът не е известен

30 дни за връщане на стоката

Клиентите са закупили също

CD MP3 Jezioro pełne łez Wojciech Wójcik

Аудиокнига

9.58 € 18.73 лв

Valutazione dell'apprendimento scolastico Maria Alice Melo

С меки корици

61.31 € 119.91 лв

Liiklusseadus. Liiklusmärkide ja teemärgiste tähendused ning nõuded fooridele 2024

С меки корици

10.30 € 20.15 лв

Nowy Elementarz Odkrywców NEON. Szkoła podstawowa klasa 2 cz. 1. Zeszyt ćwiczeń zintegrowanych. Nowa edycja 2023-2025 Barbara Stępień

С меки корици

6.68 € 13.06 лв

Strojírenská technologie 1 Miroslav Hluchý

С меки корици

9.52 € 18.63 лв

???????: ???????? ?? ??? ?????

MP3

3.36 € 6.57 лв

Lire Magazine littéraire N°512 : Céline - octobre 2022

С меки корици

12.11 € 23.69 лв

Messi - Neymar - Ronaldo

С меки корици

18.02 € 35.24 лв

Путь дракона Е. Торчинов

С твърди корици

23.97 € 46.88 лв

La Carte postale Derrida

С меки корици

44.48 € 86.99 лв

Sovremennye modeli obucheniya russkomu yazyku kak inostrannomu Gul'sm Arkabaeva

С меки корици

37.80 € 73.93 лв

BABADADA, Bulgarian (in cyrillic script) - Thai (in thai script), visual dictionary (in cyrillic script) - visual dictionary (in thai script) Babadada Gmbh

С меки корици

28.37 € 55.49 лв

Islamische Theologie und Religionspädagogik in Europa Ali-Özgür Özdil

С меки корици

32.10 € 62.79 лв

Geldern Jörg Füchtner

Лист

24.59 € 48.10 лв

Urheberrechte in Museen und Archiven Winfried Bullinger

С меки корици

39.46 € 77.17 лв

Tromboembolismo venoso e gravidanza I. Martinelli

С меки корици

21.95 € 42.93 лв

narcolepsie, physiopathologie et alternative therapeutique Lucas Aussavy

С меки корици

46.39 € 90.74 лв

In Blaubarts Burg George Steiner

С меки корици

19.88 € 38.88 лв

Köln und seine Fotobücher 2. Bd.2 Werner Schä fke

С меки корици

25.68 € 50.23 лв

This book presents a unique method for decomposing a computer program along its execution paths, for simplifying the subprograms so produced, and for recomposing a program from its subprograms. This method enables us to divide and conquer the complexity involved in understanding the computation performed by a program by decomposing it into a set of subprograms and then simplifying them to the furthest extent possible. The resulting simplified subprograms are generally more understandable than the original program as a whole. The method may also be used to simplify a piece of source code by following the path-oriented method of decomposition, simplification, and recomposition. The analysis may be carried out in such a way that the derivation of the analysis result constitutes a correctness proof. The method can be applied to any source code (or portion thereof) that prescribes the computation to be performed in terms of assignment statements, conditional statements, and loop constructs, regardless of the language or paradigm used.