Charles Steinhorn is Professor of Mathematics at Vassar College, where he has served as Chair of the Mathematics Department and Associate Dean of the Faculty.
10 Ebooks de Javier Esparza
Javier Esparza & Keijo Heljanko: Unfoldings
Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces th …
PDF
Inglés
€96.29
Javier Esparza & Pierre Fraigniaud: Automata, Languages, and Programming
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmar …
PDF
Inglés
DRM
€57.05
Javier Esparza & Pierre Fraigniaud: Automata, Languages, and Programming
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmar …
PDF
Inglés
DRM
€57.78
Javier Esparza & Andrzej S. Murawski: Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 20 …
EPUB
Inglés
DRM
€57.76
Yu-Fang Chen & Chih-Hong Cheng: Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 regu …
EPUB
Inglés
DRM
€57.88
Michael Blondin & Javier Esparza: Automata Theory
A comprehensive introduction to automata theory that uses the novel approach of viewing automata as data structures.This textbook presents automata theory from a fresh viewpoint inspired by its main …
PDF
Inglés
DRM
€205.32
