A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the...

Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlic...

50 Jahre Lehre in Informatik an den drei Münchner Universitäten (Ludwig-Maximilians-Universität, ...

This book presents a fundamental mathematical and logical approach to soft- ware and systems engi...

This Open Access book presents the results of the "e;Collaborative Embedded Systems"e; (C...

Software development for the automotive domain has become the enabling te- nologyforalmostallsafe...

In a time of multiprocessor machines, message switching networks and process control programming ...

A lucid statement of the philosophy of modular programming can be found in a 1970 textbook on the...

Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unt...

Testing is the primary hardware and software verification technique used by industry today. Usual...