Statische Verifikation von Softwareprotokollen

	Autor: Holger Bär Verlag: Monsenstein und Vannerdat Taschenbuch Auflage: 1., Aufl. Seiten: 176 ISBN-10: 3-86582-141-3 ISBN-13: 978-3-86582-141-6 ISBN: 3865821413 Preis: Preis und Verfügbarkeit anzeigen weitere Infos | Rezensionen | kaufen