The KCAU Library

Menu

Image from Google Jackets

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.

By: Contributor(s): Material type: Computer fileComputer fileSeries: Undergraduate Topics in Computer SciencePublication details: London : Springer-Verlag London Limited, 2011.Description: v.: digitalISBN:
  • 9780857290182
Subject(s): Online resources: In: Springer eBooks
Reviews from LibraryThing.com:
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.
KCAU Library,
KCA University ,
Thika Road Ruaraka
P. O. Box 56808 – 00200 Nairobi, Kenya

More Links

More Links

Powered by Koha