Normal view MARC view ISBD view

Rigorous Software Development

Almeida, José Bacelar.

Rigorous Software Development An Introduction to Program Verification / [electronic resource] : by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. - London : Springer London, 2011. - Undergraduate Topics in Computer Science, 1863-7310 . - Undergraduate Topics in Computer Science, .

ISBN: 9780857290182

Standard No.: 10.1007/978-0-85729-018-2 doi

Subjects--Topical Terms:
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.

Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core MARC (non-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)