电子书 > 科学 > 一般 > Gerhard Goos: Vorlesungen über Informatik (PDF)

Gerhard Goos
Vorlesungen über Informatik [PDF ebook]
Berechenbarkeit, formale Sprachen, Spezifikationen

支持

的封面 Gerhard Goos: Vorlesungen über Informatik (PDF)

Dieses Lehrbuch baut auf den Themen ‘Grundlagen und funktionales Programmieren’ und ‘Objektorientiertes Programmieren und Algorithmen’ der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert.

€21.53

购买此电子书可免费获赠一本！

语言德语 ● 格式 PDF ● ISBN 9783642591402 ● 出版者 Springer Berlin Heidelberg ● 发布时间 2013 ● 下载 3 时 ● 货币 EUR ● ID 6328169 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

87,316 此类电子书

的封面 Akhilesh Kumar & Swapnil Saurav: Supply Chain Management Strategies and Risk Assessment in Retail Environments

Akhilesh Kumar & Swapnil Saurav: Supply Chain Management Strategies and Risk Assessment in Retail Environments

的封面 Graham Squires: The Economics of Property and Planning

Graham Squires: The Economics of Property and Planning

This book introduces the interlocking disciplines of property and planning to economic theory and practice. Unlike any other available textbook, The Economics of Property and Planning skilfully intro …

的封面 Anthony Orlando: Keeping Races in Their Places

Anthony Orlando: Keeping Races in Their Places

‘A book perfect for this moment’ –Katherine M. O’Regan, Former Assistant Secretary, US Department of Housing and Urban Development More than fifty years after the passage of the Fair Housing Act, Ame …

的封面 Joan (Woodbury University, USA) Marques: Business With a Conscience

Joan (Woodbury University, USA) Marques: Business With a Conscience

Practicing business with a conscience leaves no sector untouched. It trickles into how we treat our employees; approach our work in general; address stakeholders; engage in accounting, financial, and …

的封面 Graeme P. (George C. Marshall European Center for Security Studies, Germany) Herd: Understanding Russian Strategic Behavior

Graeme P. (George C. Marshall European Center for Security Studies, Germany) Herd: Understanding Russian Strategic Behavior

This book examines the extent to which Russia’s strategic behavior is the product of its imperial strategic culture and Putin’s own operational code. The work argues that, by conflating personalistic …

的封面 Jinusha Panigrahi: Higher Education Financing in India

Jinusha Panigrahi: Higher Education Financing in India

This book critically examines the questions related to the access to and financing of higher education in India. The rapid expansion of knowledge economy in the neo-liberal era of globalisation has c …

的封面 Martin W. (London School of Economics, UK) Bauer & Marta (Iscte-Lisbon University Institute, Portugal) Entradas: Public Communication of Research Universities

Martin W. (London School of Economics, UK) Bauer & Marta (Iscte-Lisbon University Institute, Portugal) Entradas: Public Communication of Research Universities

This book analyses communication of university research institutes, with a focus on science communication. Advancing the ‘decentralisation hypothesis’, it asserts that communication structures are in …

的封面 Carl Zimmer: The Tangled Bank

Carl Zimmer: The Tangled Bank

Used widely in non-majors biology classes, this is the first textbook about evolution intended for the general reader. Zimmer, an award-winning science writer, takes readers on a fascinating journey …

的封面 H. Hanak: Soviet Foreign Policy Since the Death of Stalin

H. Hanak: Soviet Foreign Policy Since the Death of Stalin

Originally published in 1972, this volume contains selected significant documents to illustrate Soviet foreign policy between 1953 and 1970, according to its author, ”in the words of Soviet leaders …

的封面 Lukas Meier: ANOVA and Mixed Models

Lukas Meier: ANOVA and Mixed Models

ANOVA and Mixed Models: A Short Introduction Using R provides both the practitioner and researcher a compact introduction to the analysis of data from the most popular experimental designs. Based on …