Maritta Heisel

Identifiers

Open LibraryOL554243A

Top Subjects

Logic programming (1)
Industrial safety (1)
Computer security (1)
Computer software, reliability (1)
Electronic digital computers, reliability (1)
Logics and Meanings of Programs (1)
Computer science (1)

Books by Maritta Heisel

Total count: 5

Formale Programmentwicklung mit dynamischer Logik

Deutscher Universitätsverlag1992-01-01
Computer Safety, Reliability, and Security23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings

Springer London, Limited2004-01-01
Software Service and Application EngineeringEssays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday

Springer Berlin Heidelberg2012-01-01
Engineering Secure Future Internet Services and SystemsCurrent Research

Springer London, Limited2014-01-01
Software Architecture for Big Data and the Cloud

Elsevier Science & Technology Books2017-01-01