Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Path-Oriented Program Analysis

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

J. C. Huang

Sprache

Englisch

Buch Hardcover

Libristo-Code: 02048924

Verlag Cambridge University Press, Dezember 2007

This book presents a unique method for decomposing a computer program along its execution paths, for... Vollständige Beschreibung

Libristo-Code: 02048924

293 b

Demnächst

119.59 € inkl. MwSt.

Erwarteter Nachdruck

Termin unbekannt

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Hörbuch

7.19 €

Valutazione dell'apprendimento scolastico Maria Alice Melo

Broschur

57.19 €

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

Broschur

9.59 €

Strojírenská technologie 1 Miroslav Hluchý

Broschur

8.49 €

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

Broschur

5.99 €

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

MP3

2.69 €

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

Broschur

9.09 €

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

Broschur

29.80 €

Entre Duendes Y Ratones Patricia Bossano

Adobe ePub DRM

9.09 €

Messi - Neymar - Ronaldo

Broschur

16.99 €

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

Hardcover

22.39 €

La Carte postale Derrida

Broschur

35.79 €

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

Broschur

26.59 €

Geldern Jörg Füchtner

Blatt

24.50 €

Urheberrechte in Museen und Archiven Winfried Bullinger

Broschur

35.09 €

Tromboembolismo venoso e gravidanza I. Martinelli

Broschur

20.59 €

In Blaubarts Burg George Steiner

Broschur

18.00 €

Sovremennye modeli obucheniya russkomu yazyku kak inostrannomu Gul'sm Arkabaeva

Broschur

35.29 €

narcolepsie, physiopathologie et alternative therapeutique Lucas Aussavy

Broschur

43.19 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Path-Oriented Program Analysis

Autor J. C. Huang

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2007

Anzahl der Seiten 208

EAN 9780521882866

ISBN 0521882869

Libristo-Code 02048924

Verlag Cambridge University Press

Gewicht 400

Abmessungen 155 x 235 x 16

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert