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

Das Buch führt in die Grundlagen der Softwaretechnik ein. Dabei liegt sein Fokus auf der systemat...

Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Methoden, technischen Str...

This book explores the possibility of integrating design thinking into today's technical contexts...

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

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the form...

Eignen Sie sich mit Hilfe dieses Buchs die wichtigsten Grundlagen der Programm- und Systementwick...

Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem...

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

The development of information processing systems requires models, calculi, and theories for the ...

Der rasche Fortschritt der Informationstechnik ermöglicht, in Kombination mit der Mikrosystemtech...

This volume comprises the papers selected for presentationat the international conference on Form...