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 ● هوية شخصية 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 …

غلاف Serah Shani: Indigenous Elites in Africa

Serah Shani: Indigenous Elites in Africa

This book investigates the formation, configuration and consolidation of elites amongst Kenya’s Maasai. The Maasai ethnic group is one of the world’s most anthropologized populations, but research te …

غلاف 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 …

غلاف Carol (University of Oxford, UK) Berger: The Child Soldiers of Africa''s Red Army

Carol (University of Oxford, UK) Berger: The Child Soldiers of Africa”s Red Army

This book examines the role of social process and routinised violence in the use of underaged soldiers in the country now known as South Sudan during the twenty-one-year civil war between Sudan’s nor …

غلاف 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 …

غلاف Uwafiokun (York University, Canada) Idemudia & Tahiru Azaaviele Liedong: Business and Sustainable Development in Africa

Uwafiokun (York University, Canada) Idemudia & Tahiru Azaaviele Liedong: Business and Sustainable Development in Africa

The book offers new critical insights into the relationship between corporate social responsibility (CSR) and sustainable development in Africa. The extent to which CSR initiatives can contribute to …

غلاف 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 …

الصفحة التالية >>>