Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Models of Computation

Name: Models of Computation
Brand: Springer International Publishing AG
SKU: 13496437
Price: 40.89 EUR
Availability: InStock
Author: Roberto Bruni
ISBN: 9783319428987

Roberto Bruni

Ugo Montanari

Lingua

Inglese

Libro Rigido

Codice Libristo: 13496437

Casa editrice Springer International Publishing AG, aprile 2017

This book presents in their basic form the most important models of computation, their programming p... Descrizione completa

Codice Libristo: 13496437

100 b

40.89 €

Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Aus Briefen - Werken - Tagebuchern Wilhelm Heinse

Rigido

23.39 €

FAZINATION SL R 129 Günter Engelen

Rigido

26.49 €

Vins médicinaux & élixirs de santé Clergeaud Libro

In brossura

26.09 €

Évaluation d'un outil de commerce électronique open source pour les PME de Makati City, aux Philippines Angie Payne

In brossura

52.19 €

Das zweite Schwert Eine Maigeschichte Peter Handke

In brossura

12.39 €

Deutsch Großes Übungsbuch Wortschatz aktuell A2-C1. Buch Lilli Marlen Brill

In brossura

29.69 €

Truck & Logistic Simulator

CD digitale

39.49 €

Die Gemeinsamkeiten und Unterschiede von Basel III und Solvency II Nina Schneider

In brossura

23.49 €

Enzyklopadie der philosophischen Wissenschaften im Grundrisse Georg Wilhelm Friedrich Hegel

Rigido

46.49 €

El síndrome Obama : capitulación en Estados Unidos, guerra en el exterior Tariq Alí

In brossura

21.29 €

Feldenkrais: Schöne Körperhaltung - aufrecht & entspannt (Hörbuch), Audio-CD Birgit Lichtenau

CD audio

16.79 €

Alaska Matthias Breiter

Rigido

32.29 €

Sed Rafael Moya Valganon

In brossura

11.89 €

This book presents in their basic form the most important models of computation, their programming paradigms, and their mathematical descriptions, both concrete and abstract. The authors also describe important techniques for reasoning on them and for proving some essential 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 systems, and probabilistic systems.§§The book will be useful for undergraduate and graduate courses on theoretical computer science.§