Advances in computers. Volume 107 /

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Memon, Atif M. (Επιμελητής έκδοσης)
Μορφή: Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Waltham, Mass. : Academic Press, 2017.
Έκδοση:First edition.
Σειρά:Advances in computers ; volume 107.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
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