|
|
|
|
| LEADER |
00000czm a2200000 i 4500 |
| 005 |
20221129155836.0 |
| 007 |
cr mn|||||n||| |
| 008 |
081118s2009 enka ob 001 0 eng d |
| 010 |
|
|
|z 2008943242
|
| 011 |
|
|
|a Z3950 Search: @or @or @attr 1=7 "9781848822399" @attr 1=7 "9781282236332" @attr 1=7 "9781848822405"
|
| 011 |
|
|
|a Z3950 Record: 1 of 33
|
| 020 |
|
|
|a 1848822391
|q Internet
|
| 020 |
|
|
|a 9781848822399
|q Internet
|
| 020 |
|
|
|a 1282236334
|q Internet
|
| 020 |
|
|
|a 9781282236332
|q Internet
|
| 020 |
|
|
|a 1848822405
|q Internet
|
| 020 |
|
|
|a 9781848822405
|q Internet
|
| 035 |
|
|
|a (EDS)EDS527720
|
| 040 |
|
|
|a UKM
|b eng
|e rda
|c UKM
|d YDXCP
|d C#P
|d BWK
|d CDX
|d GBVCP
|d DLC
|d HEBIS
|d CDN
|d TBS
|d OCLCF
|d OCLCO
|d OCLCQ
|d WLU
|d IOK
|d UKMGB
|d OCL
|d Z5A
|
| 050 |
|
4 |
|a QA76.76.V47
|b L37 2009
|
| 082 |
0 |
4 |
|a 005.14
|2 22
|
| 099 |
|
|
|a 005.14 ASK
|
| 100 |
1 |
|
|a Łaski, Janusz.
|9 1246927
|
| 245 |
1 |
0 |
|a Software verification and analysis :
|b an integrated, hands-on approach /
|c Janusz Laski, William Stanley.
|
| 264 |
|
1 |
|a London ;
|a New York :
|b Springer,
|c [2009]
|
| 264 |
|
4 |
|c ©2009
|
| 300 |
|
|
|a 1 online resource (xviii, 224 pages) :
|b illustrations
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 505 |
0 |
|
|a Preface.- Introduction: What Do We Want to Know About the Program.- Why Not Write Correct Software the First Time?- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for Any Implementation: Black-box Testing.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell about a Program Without Its Execution: Static Analysis.- Is there a Bug in the Program?- Structural Program Testing.- Dynamic Program Analysis.- Index.
|
| 588 |
|
|
|a Machine converted from AACR2 source record.
|
| 650 |
|
0 |
|a Computer software
|x Verification.
|9 347872
|
| 650 |
|
0 |
|a Computer programs
|x Verification.
|9 340552
|
| 700 |
1 |
|
|a Stanley, William,
|e author.
|9 309012
|
| 776 |
1 |
8 |
|w (OCoLC)295000999
|
| 856 |
4 |
0 |
|u https://ezproxy.aut.ac.nz/login?url=https://link.springer.com/10.1007/978-1-84882-240-5
|z Springer eBooks
|x TEMPORARY ERM URL
|
| 942 |
|
|
|c EB
|n 0
|
| 999 |
|
|
|c 1439156
|d 1439156
|
