LIBROS DEL AUTOR: egon borger

8 resultados para LIBROS DEL AUTOR: egon borger

egon borger Eliminar filtro Quitar filtros
  • Structures of Computing
    Egon Borger / Vincenzo Gervasi
    Structures of Computing explains the behavioral meaning of fundamental concepts of computing from a practical viewpoint and in generic terms, unrestricted by specific computing devices or programming languages. To compute is understood as processing structures by a set of cooperating agents each of which executes an algorithm assigned to it and interacts with the other agents.P...
    Disponible

    66,26 €

  • Modeling Companion for Software Practitioners
    Alexander Raschke / Egon Börger
    This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple form of Abstract State Machines (ASMs).The book introduces both the modeling method...
    Disponible

    84,35 €

  • Java and the Java Virtual Machine
    Egon Borger / Joachim Schmid / Robert F. Stark
    The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger’s talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant at the Unive...
    Disponible

    65,79 €

  • Abstract State Machines
    Egon Borger / Robert Stark
    Quelli che s’innamoran di pratica senza scienzia sono come ’l nocchieri ch’entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada. - Leonardo da Vinci Ich habe oft bemerkt, dass wir uns durch allzuvieles Symbolisieren 2 die Sprache fu ¨r die Wirklichkeit untu ¨chtig machen. - Christian Morgenstern This is the place to express our ...
    Disponible

    65,52 €

  • Architecture Design and Validation Methods
    Egon Borger
    This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. The book covers a comprehensive range of architecture design and validation methods, from computer aided high-level design of VLSI circuits and systems to layout and testable design, including the modeling and synthes...
    Disponible

    65,89 €

  • The Classical Decision Problem
    Egon Börger / Erich Grädel / Yuri Gurevich
    This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises. ...
    Disponible

    243,61 €

  • Computation Theory and Logic
    Egon Börger
    This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction...
    Disponible

    65,49 €

  • Berechenbarkeit, Komplexität, Logik
    Egon Börger
    Thema dieses Buches sind zwei schon Voh Leibniz als zusammengehörend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theoretische Fundament der Computerwissenschaft gelegt hat: der Be­ griff formaler Sprache als Träger präzisen Ausdrucks von Bedeutungen, Sach­ verhalten, Problemen und der des Algorithmus oder Kalküls, d. h....
    Disponible

    71,48 €