Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.
Material type: Computer fileSeries: Undergraduate Topics in Computer SciencePublication details: London : Springer-Verlag London Limited, 2011.Description: v.: digitalISBN:- 9780857290182
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.