MPG.eBooks - Search Results - "Software Engineering"

Cover Image

1

Structures of Computing : A Guide to Practice-Oriented Theory

by Börger, Egon, Gervasi, Vincenzo
Published 2024

Springer International Publishing

Subjects: “...Software engineering...”

Cover Image

2

Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

Published 2008

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

3

Java and the Java Virtual Machine : Definition, Verification, Validation

by Stärk, Robert F., Schmid, Joachim, Börger, Egon
Published 2001

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

4

Modeling Companion for Software Practitioners

by Börger, Egon, Raschke, Alexander
Published 2018

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

5

Abstract State Machines : A Method for High-Level System Design and Analysis

by Börger, Egon, Stärk, Robert
Published 2003

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

6

CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

Published 1990

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

7

Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control

Published 1996

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

8

Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

by Börger, Egon
Published 2003

Springer-Verlag Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

9

Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

Published 1993

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

10

Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Cover Image

11

Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Published 2008

Springer Berlin Heidelberg

Subjects: “...Software engineering...”