E-book
Constructing Correct Software
Record details
- ISBN: 9781846280795
-
Physical Description:
electronic
electronic resource
access
remote
XXI, 509 p. 100 illus. online resource. - Edition: Second Edition.
- Publisher: London : Springer London, 2005.
Search for related items by subject
| Subject: | Computer science Software engineering Computer Science Software Engineering Mathematical Logic and Formal Languages |
Electronic resources
| LDR | 01280nam a22003735i 4500 | ||
|---|---|---|---|
| 001 | 22546 | ||
| 003 | CONS | ||
| 005 | 20131218134423.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2005 xxk| s |||| 0|eng d | ||
| 020 | . | ‡a9781846280795 ‡9978-1-84628-079-5 | |
| 024 | 7 | . | ‡a10.1007/b138515 ‡2doi |
| 035 | . | ‡a(DE-He213)978-1-84628-079-5 | |
| 050 | 4. | ‡aQA76.758 | |
| 072 | 7. | ‡aUMZ ‡2bicssc | |
| 072 | 7. | ‡aCOM051230 ‡2bisacsh | |
| 100 | 1 | . | ‡aCooke, John. ‡eauthor. |
| 245 | 1 | 0. | ‡aConstructing Correct Software ‡h[electronic resource] / ‡cby John Cooke. |
| 250 | . | ‡aSecond Edition. | |
| 264 | 1. | ‡aLondon : ‡bSpringer London, ‡c2005. | |
| 300 | . | ‡aXXI, 509 p. 100 illus. ‡bonline resource. | |
| 336 | . | ‡atext ‡btxt ‡2rdacontent | |
| 337 | . | ‡acomputer ‡bc ‡2rdamedia | |
| 338 | . | ‡aonline resource ‡bcr ‡2rdacarrier | |
| 347 | . | ‡atext file ‡bPDF ‡2rda | |
| 650 | 0. | ‡aComputer science. | |
| 650 | 0. | ‡aSoftware engineering. | |
| 650 | 1 | 4. | ‡aComputer Science. |
| 650 | 2 | 4. | ‡aSoftware Engineering. |
| 650 | 2 | 4. | ‡aMathematical Logic and Formal Languages. |
| 710 | 2 | . | ‡aSpringerLink (Online service) |
| 773 | 0 | . | ‡tSpringer eBooks |
| 776 | 0 | 8. | ‡iPrinted edition: ‡z9781852338206 |
| 856 | 4 | 0. | ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/b138515 ‡yTexto completo ‡9CONS |
| 950 | . | ‡aComputer Science (Springer-11645) | |
| 901 | . | ‡a22546 ‡b ‡c22546 ‡tbiblio ‡sSystem Local | |
