Embedded software system testing : automatic testing solution based on formal method / Yongfeng Yin and Bo Jiang

By:

Yin, Yongfeng

Material type: Text

TextPublication details: Boca Raton, Florida CRC Press 2024Edition: First editionDescription: xxiii, 305 pages : illustrations ; 24cmISBN:

978-1-032-48818-9

Subject(s):

LOC classification:

TK 7895 .Y56 2024

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Barcode
Books	College Library Reserve Section	TK 7895 .Y56 2024 (Browse shelf(Opens below))	Available	C24199
Books	College Library Reserve Section	TK 7895 .Y56 2024 (Browse shelf(Opens below))	Available	C23738

Browsing College Library shelves, Shelving location: Reserve Section Close shelf browser (Hides shelf browser)

Previous								Next
Previous	TK 7887 .An53 2023 CompTIA A+	TK 7887 .C65 2024 Operating systems lab	TK 7895.M5 .K16 2012 8085 microprocessor and its applications /	TK 7895 .Y56 2024 Embedded software system testing :	TK 7895 .Y56 2024 Embedded software system testing :	TL 527 .Ai298 2015 Airlines management /	TL 564 .R54 2013 Developing safety-critical software :	Next

Includes bibliographical references.

There are no comments on this title.

to post a comment.

Back to results

1781 The Effect of different concentrations of carbon dioxide on the photosynthesis of hydrilla /
by Calayan, Miguel Luis S.
1782 The Potential antibacterial property of leech (Hirudinaria manillensis) extract against staphylococcus aureus /
by Felix, Victor Immanuel F.
1783 The Social adjustment of and problems encountered in school by Korean and Japanese students of SISC /
by Eusebio, Frances Marie B.
1784 The Association between stress and stress management of grade 11 Southville upper school students /
by Yong, Gun Soon.
1785 Learning strategies of selected grade 11 students of Southville International School and Colleges A.Y. 2007-2008 /
by Mita, Maya Banessa Q.
1786 Perceived diligence of newly elected and experienced sangguniang kabataan chairmen of Parañaque City /
by Marquez, Teresita Ssen L.
1787 Participation in CGS and self-esteem of selected students of Southville International School and Colleges /
by Soriano, Jed Joshua R.
1788 Self-esteem of verbally abused privileged and less privileged /
by Mayo, Hannahneel S.
1789 A study on how broadcast media upholds Filipino customs and traditions /
by Langomez, Maria Katrina N.
1790 Diligence, emotional intelligence and academic achievement of grade 11 students of Southville International School and Colleges /
by Cordero, Jan Iris A.
1791 The Effects of heat and shelf-life on the antifungal property of guava leaf extracts against Microsporum canis /
by Takeuchi, Miho F.
1792 Effect of storage conditions on the Ascorbic acid content of Guava (Psidium guajava) extract /
by Oh, Se Hoon.
1793 Association of gender, age group, educational status to perceptions on employment of physically handicapped people /
by Kim, Kyung Ah.
1794 Academic performance and opposite-sex relationship of selected upper school students /
by Han, Jin Kyu.
1795 Effects of eating habits to the performance of Southville International School and Colleges junior varsity boys basketball team /
by Laxa, Andrew C.
1796 The Effects of varying concentrations of aloe vera extract on the growth of staphylococcus aureus /
by Yabut, Carlo Ehjay V.
1797 Performance in sports and personality traits /
by Sy, Michael Brian C.
1798 School culture in SISC and Colegio de San Agustin /
by Karnani, Tejas S.
1799 Effects of peer pressure to the choice of music of fourth year students /
by de los Trinos, Nicole M.
1800 The Effects of different acetic acid brand on the mass of the golden apple snail (Pomacea canaliculata) eggs /
by Arbis, Andrew M.

Embedded software system testing : automatic testing solution based on formal method / Yongfeng Yin and Bo Jiang

Browsing College Library shelves, Shelving location: Reserve Section Close shelf browser (Hides shelf browser)

SOUTHVILLE LIBRARY