Algorithmen und DatenstrukturenChristian Haubelt × Digitale Hardware/Software-SystemeSpezifikation und VerifikationChristian HaubeltSpringer BerlinSoftcover201037,99 €