Filter By
Books (7)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Finite and Algorithmic Model Theory by Javier Esparza
RRP: €74.97Booksplease Price: €71.95Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in... -
Automata Theory: An Algorithmic Approach by Javier Esparza 9780262048637
Booksplease Price: €90.50Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262048637Author Javier EsparzaFormat HardbackPage Count 560Imprint MIT PressPublisher MIT Press... -
Unfoldings: A Partial-Order Approach to Model Checking by Javier Esparza 9783540774259
Booksplease Price: €107.77Model 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... -
Unfoldings: A Partial-Order Approach to Model Checking by Javier Esparza 9783642096051
Booksplease Price: €109.54In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of... -
Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II by Javier Esparza 9783662439500
Booksplease Price: €55.43This 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,... -
Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I by Javier Esparza 9783662439470
Booksplease Price: €56.98This 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,... -
Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings by Javier Esparza 9783540437871
Booksplease Price: €55.43This volume contains the proceedings of the 23rd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressinthe...