Programmverifikation
Sequentielle, parallele und verteilte Programme
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Krzysztof R. Apt
Themen in »Programmverifikation«
Fairneßannahmen Operationelle Semantik Programmtransformation Programmverifikation Semantik Syntax-gerichtete Verifikationsregeln Variable Verifikation partielle und totale Programmkorrektheit
Stimmen zu »Programmverifikation«
Details
ISBN: 9783540574798
Verlag: Springer Berlin
Erscheinung: 21.03.1994