[ Back to Record ]

  1. Bib ID# 3141
    ISBN: 9780857290182
    UPC: 10.1007/978-0-85729-018-2
    Title: Rigorous Software DevelopmentAn Introduction to Program Verification /
    Author: Almeida, José Bacelar.
    Publication Info: Springer London, 2011.
    Item Type: Language material

[ Back to Record ]