Programmverifikation
Subtitle: Sequentielle, parallele und verteilte Programme
Series: Springer-Lehrbuch
Publisher: Springer Berlin Heidelberg
Published: 1994
Place of publication: Berlin, Heidelberg
Language: ger
Format: [Elektronische Ressource]
ISBN-13: 9783642579479
Subjects: Programmverifikation
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA