Programmverifikation
Subtitle: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch)
Edition: 1 edition
Publisher: Springer
Published: April 24, 1996
Language: ger
Format: Paperback
Number of pages: 258
ISBN-13: 9783540574798
Subjects: Computer Architecture - General; Logic Design; Programming - General; Computers / Logic Design; Fairneßannahmen; Operationelle Semantik; Programmtransformation; Syntax-gerichtete Verifikationsregeln; partielle und totale Programmkorrektheit; Computers - General Information