Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Models of Computation

Roberto Bruni

Ugo Montanari

Language

English

Book Paperback

Libristo code: 20118838

Publishers Springer International Publishing AG, July 2018

This book presents in their basic form the most important models of computation, their basic program... Full description

Libristo code: 20118838

96 b

14 336 Ft

In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

SILVER LABIRYNT SYMETRYCZNY

binding.

6 169 Ft

LA BATALLA DEL LABERINT PERCY JACKSON I ELS DEUS DE LOLIMP 4 Rick Riordan

Book

7 402 Ft

Henri Poincare Anonymous

Paperback

11 984 Ft

LÜK Heiko Judith

Sheet

3 070 Ft

tuo pediatra di famiglia. La guida al benessere dei figli dai tre ai tredici anni, per genitori più sereni e bambini più felici Giuseppe Varrasi

Paperback

7 308 Ft

Metal II Annihilator Audio

Audio vinyl

16 821 Ft

Reussir sa vie Alexandre Amazou

Paperback

4 582 Ft

Hooky - Magie za školou 3 Míriam Bonastreová Turová

Paperback

5 512 Ft

Desenterrando fragmentos de historia. Siglos XVI al XIX Maria Lourdes Lopez Camacho

Adobe ePub DRM

2 201 Ft

Edelweiss Hélène Collon

Paperback

7 832 Ft

Nato per vincere. Trova il tuo successo Zig Ziglar

Paperback

5 215 Ft

Лис Маргарет Уайльд

Hardback

7 293 Ft

Direito a Saude na Zambia Libati Daniel Libati

Paperback

17 345 Ft

CONCERTO GROSSO OP. 1/4 PIETRO LOCATELLI Book

binding.

3 340 Ft

Les noces de philologie et de Guillaume Budé - un humaniste et son oeuvre à la Renaissance BENEVENT CHRISTINE

Paperback

24 568 Ft

Le secret de mon prénom Finney

Paperback

3 836 Ft

Pendant la chaleur du jour roman PRADIER

Paperback

8 479 Ft

Dylan's Birthday Present/Dylans Geburtstagsgeschenk Victor Dias de Oliveira Santos

Hardback

7 459 Ft

Nietzsche y la escena de la escritura: Compilación de aforismos sobre lectura, escritura y literatura Diego Gil Parra

Paperback

7 940 Ft

Gnoethi Sauton Karl Philipp Moritz

Paperback

9 570 Ft

Lehrbuch der Haut- und Geschlechtskrankheiten Edmund Lesser

Paperback

9 915 Ft

Vivir y anunciar la palabra : las primeras comunidades Equipo Bíblico CRB

Paperback

11 535 Ft

La Lorette Mariee Maximilien Perrin

Paperback

5 706 Ft

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.