Egon Borger – författare
Visar alla böcker från författaren Egon Borger. Handla med fri frakt och snabb leverans.
11 produkter
Structures of Computing
A Guide to Practice-Oriented Theory
Av Vincenzo Gervasi, Egon Borger
E-bok, 2024
821 kr
Lägg i varukorg
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 …
Berechenbarkeit Komplexität Logik
Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Av Egon Borger
E-bok, 2013
452 kr
Lägg i varukorg
Berechenbarkeit, Komplexität, Logik
Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Av Egon Borger
E-bok, 2013
542 kr
Lägg i varukorg
Abstract State Machines 2003: Advances in Theory and Practice
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
Av Elvinia Riccobene, Angelo Gargantini m. fl.
E-bok, 2003
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in …
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Av Paul Boca, Jonathan P. Bowen m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and …
Advances in Software Engineering
Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
Av Antonio Cisternino, Egon Borger
E-bok, 2008
755 kr
Lägg i varukorg
Abstract State Machines
A Method for High-Level System Design and Analysis
E-bok, 2012
739 kr
Lägg i varukorg
Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with …
Architecture Design and Validation Methods
Av Egon Borger
E-bok, 2012
755 kr
Lägg i varukorg
This book grew out of material which was taught at the International Summer School on Architecture Design and Validation Methods, held June 23-July 5, 1997, on the Island of Lipari and directed to graduate students and young researchers. Since then the course notes have been completely elaborated …
Java and the Java Virtual Machine
Definition, Verification, Validation
Av Egon Borger, Joachim Schmid m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
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 …
Modeling Companion for Software Practitioners
Av Alexander Raschke, Egon Borger
E-bok, 2018
923 kr
Lägg i varukorg
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 …
Berechenbarkeit, Komplexität, Logik
Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
Av Egon Borger
E-bok, 2013
462 kr
Lägg i varukorg
