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

InhaltsangabeInformation und ihre Repräsentation.- Rechenstrukturen und Algorithmen.- Programmier...

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

This volume comprises the papers presented at the Third International Andrei Ershov Memorial Conf...

A mathematical and logical foundation for the specification and development of interactive system...

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

InhaltsangabeEliminating the Chaff-Again: Banquet Speech at Marktoberdorf 1996.- Envoi at Marktob...

Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung 'Einführung in die...

This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it...

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

RezensionAus den Rezensionen: '. stellt dieses Buch das Basiswissen bereit, das Projektmanager ha...