Javier Esparza – författare
Visar alla böcker från författaren Javier Esparza. Handla med fri frakt och snabb leverans.
17 produkter
Free Choice Petri Nets
Av Jorg Desel, Javier Esparza m. fl.
Häftad, 2005
716 kr
Lägg i varukorg
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free …
Finite and Algorithmic Model Theory
Av Javier Esparza, Christian Michaux m. fl.
Häftad, 2011
1090 kr
Lägg i varukorg
Intended 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 logical aspects of computer science, where both finite and infinite model-theoretic methods play an …
Automated Technology for Verification and Analysis
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Av Yu-Fang Chen, Chih-Hong Cheng m. fl.
Häftad, 2019
569 kr
Lägg i varukorg
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 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 …
Automated Technology for Verification and Analysis
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Av Javier Esparza, Chih-Hong Cheng m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
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 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 …
Application and Theory of Petri Nets 2002
23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
Av Javier Esparza, Charles Lakos
Häftad, 2002
551 kr
Lägg i varukorg
This 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 applicationandtheoryofPetrinets. Typically, the conferences have 100-150participants - one third of …
Application and Theory of Petri Nets 2002
23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
Av Charles Lakos, Javier Esparza
E-bok, 2003
712 kr
Lägg i varukorg
Unfoldings
A Partial-Order Approach to Model Checking
Av Javier Esparza, Keijo Heljanko
Inbunden, 2008
1128 kr
Lägg i varukorg
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 the state explosion problem - the number of reachable states grows exponentially in the number of …
Unfoldings
A Partial-Order Approach to Model Checking
Av Keijo Heljanko, Javier Esparza
E-bok, 2008
1459 kr
Lägg i varukorg
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 the state explosion problem - the number of reachable states grows exponentially in the number of …
Unfoldings
A Partial-Order Approach to Model Checking
Av Javier Esparza, Keijo Heljanko
Häftad, 2010
1128 kr
Lägg i varukorg
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 the state explosion problem - the number of reachable states grows exponentially in the number of …
Tools and Algorithms for the Construction and Analysis of Systems
16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Av Javier Esparza, Rupak Majumdar
Häftad, 2010
569 kr
Lägg i varukorg
ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryandPracticeofSoftware. ETAPSisanannualfederatedconferencethatwas establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual?vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 satellite …
Tools and Algorithms for the Construction and Analysis of Systems
16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Av Rupak Majumdar, Javier Esparza
E-bok, 2010
739 kr
Lägg i varukorg
Automata, Languages, and Programming
41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
Av Javier Esparza, Pierre Fraigniaud m. fl.
Häftad, 2014
569 kr
Lägg i varukorg
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, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were …
Automata, Languages, and Programming
41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
Av Elias Koutsoupias, Thore Husfeldt m. fl.
E-bok, 2014
734 kr
Lägg i varukorg
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, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were …
Automata, Languages, and Programming
41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
Av Javier Esparza, Pierre Fraigniaud m. fl.
Häftad, 2014
569 kr
Lägg i varukorg
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, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were …
Automata, Languages, and Programming
41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
Av Elias Koutsoupias, Thore Husfeldt m. fl.
E-bok, 2014
734 kr
Lägg i varukorg
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, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were …
Foundations of Software Science and Computation Structures
20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Av Javier Esparza, Andrzej S. Murawski
Häftad, 2017
569 kr
Lägg i varukorg
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 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. …
Foundations of Software Science and Computation Structures
20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Av Andrzej S. Murawski, Javier Esparza
E-bok, 2017
755 kr
Lägg i varukorg
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 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. …
