Електронна книга > Наука > Генерал > 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

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Німецька ● Формат PDF ● ISBN 9783642591402 ● Видавець Springer Berlin Heidelberg ● Опубліковано 2013 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 6328169 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

90 431 Електронні книги в цій категорі

Обкладинка Lawrence Murphy: Perverts by Official Order

Lawrence Murphy: Perverts by Official Order

This candid book documents for the first time the U.S. Navy’s use of entrapment in pursuit of homosexuals in and around Newport, Rhode Island, during the early twentieth century. This most extensive …

Обкладинка Haim Yacobi: Israel and Africa

Haim Yacobi: Israel and Africa

Israel and Africa critically examines the ways in which Africa – as a geopolitical entity – is socially manufactured, collectively imagined but also culturally denied in Israeli politics. Its unique …

Обкладинка Peter Berggren & Staffan Nahlinder: Assessing Command and Control Effectiveness

Peter Berggren & Staffan Nahlinder: Assessing Command and Control Effectiveness

Assessing Command and Control Effectiveness: Dealing with a Changing World offers a description of the current state of Command and Control (C2) research in imperfect settings, showing how a research …

Обкладинка Maryanne Kelton: ''More than an Ally''?

Maryanne Kelton: ”More than an Ally”?

With the ascendancy of the Coalition government in 1996 there was a marked shift of emphasis directed to deepening Australia”s relations with America. The Coalition government strategically linked s …

Обкладинка Ronald V. Bettig: Copyrighting Culture

Ronald V. Bettig: Copyrighting Culture

Launching into a complete analysis of copyright law in our capitalistic and hegemonistic political system, Ronald Bettig uncovers the power of the wealthy few to expand their fortunes through the own …

Обкладинка Max Hanska: Communication Against Domination

Max Hanska: Communication Against Domination

This book tackles the philosophical challenge of bridging the gap between empirical research into communication and information technology, and normative questions of justice and how we ought to comm …

Обкладинка Adam (Slovak Academy of Sciences) Hudek & Michal (Czech Academy of Sciences) Kopecek: Czechoslovakism

Adam (Slovak Academy of Sciences) Hudek & Michal (Czech Academy of Sciences) Kopecek: Czechoslovakism

This collection systematically approaches the concept of Czechoslovakism and its historical progression, covering the time span from the mid-nineteenth century to Czechoslovakia’s dissolution in 1992 …

Обкладинка Gemma Houldey: The Vulnerable Humanitarian

Gemma Houldey: The Vulnerable Humanitarian

The Vulnerable Humanitarian challenges the prevalence of stress and burnout culture within the aid sector, laying bare the issues of power, agency, security and wellbeing that continue to trouble org …

Обкладинка Steven (Author) Falk: Field Guide to the Bees of Great Britain and Ireland

Steven (Author) Falk: Field Guide to the Bees of Great Britain and Ireland

Bees are a fascinating and indispensable group of insects, but many species are in decline, and efforts to help determine distributions and changes in abundance have to date been compromised by a ser …

Обкладинка Aly Khorshid: Islamic Insurance

Aly Khorshid: Islamic Insurance

Some Muslims believe insurance is unnecessary, as society should help its victims. Muslims can no longer ignore the fact that they live, trade and communicate with open global systems, and they can n …

Наступна сторінка >>>