Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 45,92
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer International Publishing AG, CH, 2017
ISBN 10: 3319428985 ISBN 13: 9783319428987
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 48,32
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. 1st ed. 2017.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 36,25
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 36,24
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 46,92
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 65,55
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 65,04
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 395.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 63,42
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 395.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 69,14
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: SpringBooks, Berlin, Alemania
Original o primera edición
EUR 28,70
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: As New. 1. Auflage. Like new. Immediately dispatched from Germany.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 61,39
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 395.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 97,97
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 395 pages. 9.25x6.25x1.25 inches. In Stock.
Idioma: Inglés
Publicado por Springer International Publishing AG, CH, 2017
ISBN 10: 3319428985 ISBN 13: 9783319428987
Librería: Rarewaves.com UK, London, Reino Unido
EUR 40,31
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. 1st ed. 2017. This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 69,16
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 54,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer International Publishing Apr 2017, 2017
ISBN 10: 3319428985 ISBN 13: 9783319428987
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 64,19
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book. 420 pp. Englisch.
Idioma: Inglés
Publicado por Springer International Publishing, 2017
ISBN 10: 3319428985 ISBN 13: 9783319428987
Librería: moluna, Greven, Alemania
EUR 55,78
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents the most important models of computation in their basic form Authors among leading experts in this domainSuitable for undergraduate and graduate students of theoretical computer science Roberto Bruni is an asso.
Idioma: Inglés
Publicado por Springer, Palgrave Macmillan Apr 2017, 2017
ISBN 10: 3319428985 ISBN 13: 9783319428987
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 64,19
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 420 pp. Englisch.