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: 9783642579479
Verlag: Springer Berlin
Erscheinung: 07.03.2013