Analyse Und Verifikation Von Programmen Systemat Verfahren U Unters Zur Erstellung Fehlerfreier Software [Reihe Datenverarbeitung - German Edition] (Hardcover) ISBN-13: 9783486213614 ISBN-10: 348621361X ? Digitale Bibliotheken Informatik Losungen Fur Globale Wissensmarkte (Hardcover) ISBN-13: 9783932588778 ISBN-10: 3932588770 ? A Handbook of Software and Systems Engineering Empirical Observations Laws and Theories (Hardcover) ISBN-13: 9780321154200 ISBN-10: 0321154207 Genres: Computers & Technology, Engineering & Transportation ? |