Búsqueda de LIBROS DEL AUTOR: william tepfenhart

1 resultados

• 

  ebook

  FORMAL METHODS IN COMPUTER SCIENCE

  JIACUN WANG / WILLIAM TEPFENHART

  This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi ...

  $2,420.00

  Ver detalle