Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Path-Oriented Program Analysis

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

J. C. Huang

Language

English

Book Hardback

Libristo code: 02048924

Publishers Cambridge University Press, December 2007

This book presents a unique method for decomposing a computer program along its execution paths, for... Full description

Libristo code: 02048924

295 b

Coming soon

43 330 Ft

Reprint

Date unknown

30-day return policy

Customers also purchased

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

Audiobook

3 237 Ft

Valutazione dell'apprendimento scolastico Maria Alice Melo

Paperback

22 518 Ft

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

Paperback

3 469 Ft

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

Paperback

2 282 Ft

Strojírenská technologie 1 Miroslav Hluchý

Paperback

3 326 Ft

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

MP3

1 132 Ft

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

Paperback

4 133 Ft

Messi - Neymar - Ronaldo

Paperback

6 605 Ft

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

Hardback

8 075 Ft

La Carte postale Derrida

Paperback

15 148 Ft

Sovremennye modeli obucheniya russkomu yazyku kak inostrannomu Gul'sm Arkabaeva

Paperback

13 882 Ft

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

Paperback

10 914 Ft

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

Paperback

10 839 Ft

Geldern Jörg Füchtner

Sheet

9 017 Ft

Urheberrechte in Museen und Archiven Winfried Bullinger

Paperback

13 353 Ft

Tromboembolismo venoso e gravidanza I. Martinelli

Paperback

8 061 Ft

narcolepsie, physiopathologie et alternative therapeutique Lucas Aussavy

Paperback

17 031 Ft

In Blaubarts Burg George Steiner

Paperback

6 721 Ft

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

Paperback

8 664 Ft

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.