|
|
|
|
LEADER |
02804nam a2200541 4500 |
001 |
on1002066026 |
003 |
OCoLC |
005 |
20180501122037.0 |
006 |
m o d |
007 |
cr cnu---unuuu |
008 |
170828s2017 mauad ob 001 0 eng d |
040 |
|
|
|a N$T
|b eng
|e rda
|e pn
|c N$T
|d IDEBK
|d OPELS
|d YDX
|d OCLCF
|d GrThAP
|
020 |
|
|
|a 9780128122297
|q (electronic bk.)
|
020 |
|
|
|a 0128122293
|q (electronic bk.)
|
020 |
|
|
|a 9780128122280
|
035 |
|
|
|a (OCoLC)1002066026
|
050 |
|
4 |
|a QA76
|b .A38 2017eb
|
072 |
|
7 |
|a COM
|x 051210
|2 bisacsh
|
082 |
0 |
4 |
|a 005.12
|2 23
|
049 |
|
|
|a TEFA
|
245 |
0 |
0 |
|a Advances in computers.
|n Volume 107 /
|c edited by Atif M. Memon.
|
250 |
|
|
|a First edition.
|
264 |
|
1 |
|a Waltham, Mass. :
|b Academic Press,
|c 2017.
|
300 |
|
|
|a 1 online resource :
|b illustrations (some color).
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Advances in computers ;
|v volume 107
|
504 |
|
|
|a Includes bibliographical references and indexes.
|
588 |
0 |
|
|a Print version record.
|
520 |
|
|
|a Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow.
|
650 |
|
7 |
|a COMPUTERS
|x Programming
|x Object Oriented.
|2 bisacsh
|
650 |
|
7 |
|a COMPUTERS
|x Database Management
|x General.
|2 bisacsh
|
650 |
|
7 |
|a COMPUTERS
|x Desktop Applications
|x Databases.
|2 bisacsh
|
650 |
|
7 |
|a COMPUTERS
|x System Administration
|x Storage & Retrieval.
|2 bisacsh
|
650 |
|
0 |
|a Computer software
|x Testing.
|
650 |
|
0 |
|a Computer networks
|x Security measures.
|
650 |
|
0 |
|a Electronic data processing.
|
650 |
|
0 |
|a Computers.
|
650 |
|
7 |
|a Computer networks
|x Security measures.
|2 fast
|0 (OCoLC)fst00872341
|
650 |
|
7 |
|a Computer software
|x Testing.
|2 fast
|0 (OCoLC)fst00872601
|
650 |
|
7 |
|a Computers.
|2 fast
|0 (OCoLC)fst00872776
|
650 |
|
7 |
|a Electronic data processing.
|2 fast
|0 (OCoLC)fst00906956
|
655 |
|
4 |
|a Electronic books.
|
700 |
1 |
|
|a Memon, Atif M.,
|e editor.
|
776 |
0 |
8 |
|i Print version:
|t Advances in computers. Volume 107.
|b First edition.
|d Waltham, Mass. : Academic Press, 2017
|z 9780128122280
|
830 |
|
0 |
|a Advances in computers ;
|v volume 107.
|
856 |
4 |
0 |
|u https://www.sciencedirect.com/science/bookseries/00652458/107
|z Full Text via HEAL-Link
|