Wellcome

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: Almeida, José BacelarContributor(s): Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão | SpringerLink (Online service)Material type: TextTextSeries: Undergraduate Topics in Computer SciencePublication details: London : Springer London, 2011ISBN: 9780857290182Subject(s): Computer science | Software engineering | Logic design | Algebra -- Data processing | Computer Science | Software Engineering | Logics and Meanings of Programs | Symbolic and Algebraic ManipulationAdditional physical formats: Printed edition:: No titleOnline resources: Click here to access online In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Ebooks Ebooks Mysore University Main Library
Not for loan EBSP0094545

There are no comments on this title.

to post a comment.

No. of hits (from 9th Mar 12) :

web counter

Powered by Koha