Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

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

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Path-Oriented Program Analysis

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

J. C. Huang

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 02048924

Nakladateľstvo Cambridge University Press, december 2007

This book presents a unique method for decomposing a computer program along its execution paths, for... Celý popis

Libristo kód: 02048924

295 b

Pripravujeme

121.91 €

Čaká sa dotlač

Termín neznámy

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Audiokniha

9.10 €

Valutazione dell'apprendimento scolastico Maria Alice Melo

Brožovaná

57.91 €

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

Brožovaná

9.71 €

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

Brožovaná

6.37 €

Strojírenská technologie 1 Miroslav Hluchý

Brožovaná

8.39 €

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

MP3

3.13 €

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

Brožovaná

11.64 €

Messi - Neymar - Ronaldo

Brožovaná

17.20 €

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

Pevná

22.67 €

La Carte postale Derrida

Brožovaná

42.62 €

Sovremennye modeli obucheniya russkomu yazyku kak inostrannomu Gul'sm Arkabaeva

Brožovaná

35.74 €

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

Brožovaná

26.93 €

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

Brožovaná

30.47 €

Geldern Jörg Füchtner

List

23.28 €

Urheberrechte in Museen und Archiven Winfried Bullinger

Brožovaná

37.56 €

Tromboembolismo venoso e gravidanza I. Martinelli

Brožovaná

20.85 €

narcolepsie, physiopathologie et alternative therapeutique Lucas Aussavy

Brožovaná

43.84 €

In Blaubarts Burg George Steiner

Brožovaná

18.93 €

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

Brožovaná

24.39 €

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.