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é Bacelar.
Contributor(s): Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão | SpringerLink (Online service).
Material type:
BookSeries: Undergraduate Topics in Computer Science.Publisher: London : Springer London, 2011Description: digital.ISBN: 9780857290182.Subject(s): Computer science | Software engineering | Logic design | Algebra -- Data processing | Computer Science | Software Engineering | Logics and Meanings of Programs | Symbolic and Algebraic ManipulationDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.