Rudolf Berghammer - Böcker
Visar alla böcker från författaren Rudolf Berghammer. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
553 kr
Skickas inom 10-15 vardagar
The correct development of large software systems demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the relevant functionality and its adequate and precise mathematical formalization. Prototyping can be used as a means for checking the functional behaviour at this early stage of development. The specification resulting from the first phase is then the basis for the second phase which comprises the derivation of an efficient implementation. This phase requires the use of formal methods and tools to verify/validate the implementation. Of course, a prerequisite for applying this approach to large systems is to have suitable tool support. This book presents tools that aim at the formal and computer-aided development of software. Furthermore, it discusses the theories and methods underlying the tools, applications, and limits. Finally, it describes many case studies. The presented tools and methods vary from academic to industrial, from fully automatic to interactive, and from animation and prototyping to formula manipulation, theorem proving, i. e., formal verification.Thus, the reader gets an overview of the wide-ranging applicability of formal methods and the computer-aided software development.
Graph-Theoretic Concepts in Computer Science
17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings
Häftad, Engelska, 1992
556 kr
Skickas inom 10-15 vardagar
This volume contains contributions to the 17th Internationalworkshop on Graph-Theoretic Concepts in Computer Science(WG '91) held in Southern Bavaria in June 1991. These annualworkshops are designed to bring together researchers usinggraph-theoretic methods to discuss new developments relatingto or emerging from a diversity of application fields. The topics covered in this volume include: tree-relatedproblems, graph grammarsand rewriting, complexity,computational geometry, parallel algorithms, vertexorderings, path-oriented algorithms, applications to VLSI,and disjoint cycle problems.
556 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the 10th International Seminar on - lational Methods in Computer Science (RelMiCS 10) and the 5th International Workshop on Applications of Kleene Algebra (AKA 5). The joint conference took place in Frauenwo ..rthon an Island in Lake Chiem in Bavaria,April 7-April 11, 2008. Its purpose was to bring together researchers various subdisciplines of computer science, mathematics and related ?elds who use the calculus of - lations and/or Kleene algebra as methodological and conceptual tools in their work. This conference is the joint continuation of two di?erent strands of meetings. The seminars of the RelMiCS series were held in Schloss Dagstuhl (Germany) in January 1994, Parati (Brazil) in July 1995, Hammamet (Tunisia) in January 1997, Warsaw (Poland) in September 1998, Qu' ebec (Canada) in January 2000, and Oisterwijk (The Netherlands) in October 2001. The meeting on Appli- tions of Kleene Algebra started as a workshop, also held in Schloss Dagstuhl, in February2001.Tojointhesetwothemesinoneconferencewasmainlymotivated by the substantial common interests and overlap of the two communities.Over the years this has led to fruitful interactions and openened new and interesting researchdirections.Jointmeetings havebeenheldinMalente(Germany)in May 2003, in St. Catherines (Canada) in February 2005 and in Manchester (UK) in August/September 2006. This volume contains 28 contributions by researchersfrom all overthe world.
540 kr
Skickas inom 10-15 vardagar
The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009. The 22 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation relation algebras and Kleene algebras, related formalisms such as process algebras, fixed point calculi, idempotent semirings, quantales, allegories, dynamic algebras, cylindric algebras and their applications in areas such as verification, analysis and development of programs and algorithms relational formal methods such as B or Z, tabular methods, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics, algebraic semantics of programming languages , graph theory and combinatorial optimization, games, automata and language theory, mechanised and automated reasoning, decision procedures, spatio-temporal reasoning, knowledge acquisition, preference and scaling methods or information systems.
417 kr
Skickas inom 10-15 vardagar
Das Lehrbuch führt in wichtige Themen der Ordnungs- und Verbandstheorie ein und behandelt bedeutende Informatikanwendungen. Die Ordnungs- und Verbandstheorie wird zur algebraischen Theorie der Relationen, kurz Relationenalgebra, ausgebaut. Beispiele aus der Ordnungs- und Verbandstheorie schlagen den Bogen zurück zum ersten Teil des Buches.
469 kr
Skickas inom 10-15 vardagar
Das Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände dar. Auch werden eine Reihe von Anwendungen diskutiert, insbesondere aus der Informatik, wie logische Schaltungen, Semantik von Programmiersprachen und die Untersuchung von Kausalität in verteilten Systemen.
Mathematik für die Informatik
Grundlegende Begriffe, Strukturen und ihre Anwendung
Häftad, Tyska, 2021
508 kr
Skickas inom 5-8 vardagar
Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen beiDas Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind.
555 kr
Skickas inom 10-15 vardagar
Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen beiDieses Lehrbuch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik. Diese betreffen insbesondere formale Methoden der Programmverifikation und -entwicklung und den Entwurf von generischen Programmen. Ein spezielles Konzept mit einer leicht verständlichen Vermittlung des Stoffs, vielen Beispielen mit Rückgriffen auf die Schulmathematik und detaillierten Beweisen (verbunden mit der Erklärung des logischen Hintergrunds) erleichtert den Einstieg in die Mathematik an einer wissenschaftlichen Hochschule. Dadurch werden die Studierenden auch auf spätere Begriffe und tiefergehende Anwendungen der Mathematik in der Informatik gut vorbereitet. Die 5. Auflage erweitert den Inhalt um die Grundlagen der linearen Algebra. Die Übungsaufgaben zu den einzelnen Kapitel helfen, das Erlernte zu festigen und zu kontrollieren. Zahlreiche Lösungsvorschläge am Ende des Buchs ermöglichen die Überprüfung der eigenen Lösungen.Der InhaltMengentheoretische Grundlagen • Logische Grundlagen • Allgemeine direkte Produkte und Datenstrukturen • Mathematische Beweise • Spezifikation und Programmverifikation • Spezielle Funktionen • Spezielle Relationen und gerichtete Graphen • Elementare Kombinatorik und ungerichtete Graphen • Diskrete Wahrscheinlichkeitstheorie • Generische Programmierung • Grundbegriffe algebraischer Strukturen • Formale Einführung der natürlichen Zahlen - Grundbegriffe der linearen AlgebraMit diesem Buch gelingt der Einstieg ins Informatik-StudiumMit diesem Buch schaffen Sie eine solide Basis für die Mathematikausbildung im Rahmen desInformatikstudiums. Zudem sind Sie durch die vorgestellten Problemstellungen in der Lage, selbstständig mathematische Konzepte und Methoden anzuwenden. Zielgruppen dieses Buchs über Mathematik in der Informatik sind Bachelor-Studierende in den ersten Studiensemestern folgender Fachbereiche:InformatikMathematikIngenieurwissenschaften