Order Total (1 Item Items):
Shipping Destination:
Models Computation by Bruni Roberto (25 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (25)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (22)
- As New, Fine or Near Fine (3)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (10)
- Not Print on Demand (23)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
-
Models of Computation
Book 43 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer International Publishing AG, CH, 2017
ISBN 10: 3319428985 ISBN 13: 9783319428987
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: 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.
-
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Book 43 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 29.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Book 43 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 29.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
PF. Condition: New.
-
Models of Computation
Book 43 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer International Publishing AG, CH, 2018
ISBN 10: 3319826891 ISBN 13: 9783319826899
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 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. Softcover reprint of the original 1st ed. 2017.
-
Models of Computation
Book 43 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Hardcover. Condition: As New. 1. Auflage. Like new. Immediately dispatched from Germany.
-
Condition: As New. Unread book in perfect condition.
-
-
Models of Computation
Book 43 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
-
-
-
-
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
-
-
Hardcover. Condition: Brand New. 395 pages. 9.25x6.25x1.25 inches. In Stock.
-
Models of Computation
Book 43 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer International Publishing AG, CH, 2018
ISBN 10: 3319826891 ISBN 13: 9783319826899
Paperback. Condition: New. 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. Softcover reprint of the original 1st ed. 2017.
-
Models of Computation
Book 43 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer International Publishing AG, CH, 2017
ISBN 10: 3319428985 ISBN 13: 9783319428987
Hardback. Condition: 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.
-
Models of Computation
Book 43 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer International Publishing, 2018
ISBN 10: 3319826891 ISBN 13: 9783319826899
Condition: 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.
-
Models of Computation
Book 43 of 45: Texts in Theoretical Computer Science. An EATCSLanguage: English
Published by Springer International Publishing, 2017
ISBN 10: 3319428985 ISBN 13: 9783319428987
Condition: 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.
