The Foundations of Program Verification
de Jacques Loeckx, Kurt Sieber, Ryan Stansifer
Ediciones (1)
- The Foundations of Program Verification (1987)
Vieweg+Teubner Verlag · alemán · ISBN 9783322967534
de Jacques Loeckx, Kurt Sieber, Ryan Stansifer
Vieweg+Teubner Verlag · alemán · ISBN 9783322967534
