|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Pedro Mejia Alvarez , Raul E. Gonzalez Torres , Susana Ortega CisnerosPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2024 Weight: 0.201kg ISBN: 9783031506802ISBN 10: 3031506804 Pages: 112 Publication Date: 02 February 2024 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationPedro Mejia-Alvarez received his BSc degree in computer systems from ITESM, Querétaro, Mexico, in 1985, his PhD degree in Informatics from the Polytechnic University of Madrid, Spain, in 1995. He pursued his PostDoc Research at the Computer Science Department of the University of Pittsburgh in 1999-2000. He has been a Professor with the CINVESTAV-Guadalajara since 1997. His research interests include Real-Time Systems, Software Testing and Software Engineering. Raul E. Gonzalez Torres received his PhD in Mathematics from the University of Houston in 1987. His research interests are Formal Software Verification, Automatic Theorem Proof, Demonstration Theory for non-classical Logics and Applications of Logic in Engineering and Computing. Susana Ortega-Cisneros received her BSc degree in communications and electronics from the Universidad de Guadalajara, México, in 1990, the MSc degree from the Center for Research and Advanced Studies (CINVESTAV), México City, México, and the PhD degree in computer science and telecommunications from the Autonomous University of Madrid, Spain. She is currently with CINVESTAV and specializes in the design of digital architectures based on field-programmable gate arrays (FPGAs), DSPs, and microprocessors. Tab Content 6Author Website:Countries AvailableAll regions |