Computerprogrammierung und SoftwareentwicklungGustaf Neumann ×Physica × Datenmodellierung mit deduktiven Techniken Gustaf NeumannPhysicaeBook2013