E-book
Rigorous Software Development An Introduction to Program Verification
Record details
- ISBN: 9780857290182
-
Physical Description:
electronic
electronic resource
access
remote
XIII, 307p. 52 illus. digital. - Publisher: London : Springer London, 2011.
Search for related items by subject
| Subject: | Computer science Software engineering Logic design Algebra Data processing Computer Science Software Engineering Logics and Meanings of Programs Symbolic and Algebraic Manipulation |
Search for related items by series
Electronic resources
| LDR | 01518nam a22004095i 4500 | ||
|---|---|---|---|
| 001 | 3141 | ||
| 003 | CONS | ||
| 005 | 20121026002627.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 110103s2011 xxk| s |||| 0|eng d | ||
| 020 | . | ‡a9780857290182 ‡9978-0-85729-018-2 | |
| 024 | 7 | . | ‡a10.1007/978-0-85729-018-2 ‡2doi |
| 035 | . | ‡a(DE-He213)978-0-85729-018-2 | |
| 050 | 4. | ‡aQA76.758 | |
| 072 | 7. | ‡aUMZ ‡2bicssc | |
| 072 | 7. | ‡aCOM051230 ‡2bisacsh | |
| 100 | 1 | . | ‡aAlmeida, José Bacelar. |
| 245 | 1 | 0. | ‡aRigorous Software Development ‡h[electronic resource] : ‡bAn Introduction to Program Verification / ‡cby José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. |
| 260 | . | ‡aLondon : ‡bSpringer London, ‡c2011. | |
| 300 | . | ‡aXIII, 307p. 52 illus. ‡bdigital. | |
| 490 | 0 | . | ‡aUndergraduate Topics in Computer Science, ‡x1863-7310 |
| 650 | 0. | ‡aComputer science. | |
| 650 | 0. | ‡aSoftware engineering. | |
| 650 | 0. | ‡aLogic design. | |
| 650 | 0. | ‡aAlgebra ‡xData processing. | |
| 650 | 1 | 4. | ‡aComputer Science. |
| 650 | 2 | 4. | ‡aSoftware Engineering. |
| 650 | 2 | 4. | ‡aLogics and Meanings of Programs. |
| 650 | 2 | 4. | ‡aSymbolic and Algebraic Manipulation. |
| 700 | 1 | . | ‡aFrade, Maria João. |
| 700 | 1 | . | ‡aPinto, Jorge Sousa. |
| 700 | 1 | . | ‡aMelo de Sousa, Simão. |
| 710 | 2 | . | ‡aSpringerLink (Online service) |
| 773 | 0 | . | ‡tSpringer eBooks |
| 776 | 0 | 8. | ‡iPrinted edition: ‡z9780857290175 |
| 830 | 0. | ‡aUndergraduate Topics in Computer Science, ‡x1863-7310 | |
| 856 | 4 | 0. | ‡uhttp://dx.doi.org/10.1007/978-0-85729-018-2 ‡9CONS |
| 950 | . | ‡aComputer Science (Springer-11645) | |
| 901 | . | ‡a3141 ‡b ‡c3141 ‡tbiblio ‡sSystem Local | |
