Fortæl dine venner om denne vare:
Finite and Algorithmic Model Theory - London Mathematical Society Lecture Note Series
Javier Esparza
Pris
€ 96,49
Bestilles fra fjernlager
Forventes klar til forsendelse 25. jul. - 1. aug.
Tilføj til din iMusic ønskeseddel
Eller
Finite and Algorithmic Model Theory - London Mathematical Society Lecture Note Series
Javier Esparza
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 important role. The chapters include extensive bibliographies.
356 pages, 55 b/w illus.
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 10. marts 2011 |
| ISBN13 | 9780521718202 |
| Forlag | Cambridge University Press |
| Antal sider | 356 |
| Mål | 154 × 227 × 18 mm · 518 g |
| Sprog | Engelsk |
| Klipper/redaktør | Esparza, Javier (Technische Universitat Munchen) |
| Klipper/redaktør | Michaux, Christian |
| Klipper/redaktør | Steinhorn, Charles (Vassar College, New York) |
Vis alle
Mere med Javier Esparza
![Cover for Javier Esparza · Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Bog) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/470/9783662439470.jpg?javier-esparza-2014-automata-languages-and-programming-41st-international-colloquium-icalp-2014-copenhagen-denmark-july-8-11-2014-proceedings-part-i-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1443765989)
![Cover for Javier Esparza · Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II - Theoretical Computer Science and General Issues (Paperback Bog) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/500/9783662439500.jpg?javier-esparza-2014-automata-languages-and-programming-41st-international-colloquium-icalp-2014-copenhagen-denmark-july-8-11-2014-proceedings-part-ii-theoretical-computer-science-and-general-issues-paperback-bog&class=scaled&v=1443765990)
![Cover for Javier Esparza · Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Bog) [Softcover reprint of hardcover 1st ed. 2008 edition] (2010)](https://imusic.b-cdn.net/images/item/original/051/9783642096051.jpg?javier-esparza-2010-unfoldings-a-partial-order-approach-to-model-checking-monographs-in-theoretical-computer-science-an-eatcs-series-paperback-bog&class=scaled&v=1408472023)
![Cover for Javier Esparza · Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover bog) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/259/9783540774259.jpg?javier-esparza-2008-unfoldings-a-partial-order-approach-to-model-checking-monographs-in-theoretical-computer-science-an-eatcs-series-hardcover-bog&class=scaled&v=1539388617)
Se alt med Javier Esparza ( f.eks. Paperback Bog og Hardcover bog )