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 Электронные книги 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
английский
€96.29
Javier Esparza & Rupak Majumdar: Tools and Algorithms for the Construction and Analysis of Systems
…
PDF
английский
DRM
€95.19
Javier Esparza & Charles Lakos: Application and Theory of Petri Nets 2002
…
PDF
английский
DRM
€57.37
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, …
PDF
английский
DRM
€57.17
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, …
PDF
английский
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 …
EPUB
английский
DRM
€56.99
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 …
EPUB
английский
DRM
€57.76
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
английский
DRM
€204.96
