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.

Unifying Theories of Programming

Name: Unifying Theories of Programming
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656901
Price: 60.49 EUR
Availability: InStock
Author: Shengchao Qin
ISBN: 9783642166891

Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings

Shengchao Qin

Lingua

Inglese

Libro In brossura

Codice Libristo: 01656901

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2010

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theo... Descrizione completa

Codice Libristo: 01656901

148 b

60.49 €

Magazzino esterno in piccole quantità Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Les maths en tête. Algèbre et probabilités Gourdon

In brossura

41.49 €

Das Blut der Herzlosen - Die Legende vom Tränenvogel 1 Hyuk-Sook Kim

Rigido

19.99 €

Le ombre di Genova. Il ritorno del commissario Ferruccio Falsopepe Paternostro

MP3

11.79 €

Homo cerebralis Michael Hagner

In brossura

24.79 €

Digital Transformation. Eine Fallstudie zur digitalen Innovation und Transformation bei Lego

In brossura

16.89 €

Wortklauberei Wolfram Kautzky

Adobe ePub DRM

17.09 €

HENRI DUTILLEUX - TROIS PRELUDES POUR PIANO DUTILLEUX Libro

binding.

44.29 €

Mi diario de yoga (edición revisada y actualizada) XUAN-LAN

In brossura

18.79 €

Die Bronzezeit: Das Goldene Zeitalter Der Urgeschichte Ernst Probst

In brossura

10.99 €

Érase una mujer que quería matar al bebé de su vecina Ludmilla Petruchevskaya

In brossura

24.59 €

Terapia de los ángeles : manual práctico Doreen Virtue

In brossura

15.29 €

Ironie Affumicate Francesco Pira

In brossura

8.89 €

Gesetzeskraft Jacques Derrida

In brossura

11.39 €

David Lynch. Lost Highway, Mulholland Drive und Inland Empire Katharina Schwarz

In brossura

16.89 €

Basiswissen Schuldrecht BT - 2022 Volker Schönberger

In brossura

7.59 €

Individuelle Förderung: Lernschwierigkeiten als schulische Herausforderung Christian Fischer

In brossura

21.49 €

Markenpersoenlichkeit und Erfolg einer Marke Isabel Speranza

In brossura

16.89 €

This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in Shanghai, China, in November 2010, in conjunction with the 12th International Conference on Formal Engineering Methods, ICFEM 2010.§The 12 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 25 submissions. Based on the pioneering work on unifying theories of programming of Tony Hoare, He Jifeng, and others, the aims of this Symposium series are to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such a unifying theoretical framework among the wider computer science and software engineering communities.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Unifying Theories of Programming

Autore Shengchao Qin

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2010

Numero di pagine 310

EAN 9783642166891

ISBN 364216689X

Codice Libristo 01656901

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 496

Dimensioni 155 x 238 x 20

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale