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

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

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Mathematics of Program Construction

Name: Mathematics of Program Construction
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655933
Price: 52.79 EUR
Availability: InStock
Author: Claude Bolduc
ISBN: 9783642133206

10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings

Claude Bolduc

Jules Desharnais

Bechir Ktari

Lingua

Inglese

Libro In brossura

Codice Libristo: 01655933

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

This book constitutes the refereed proceedings of the 10th International Conference on Mathematics o... Descrizione completa

Codice Libristo: 01655933

129 b

52.79 €

Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

L'affaire Edward Snowden - une rupture stratégique Michaud

In brossura

19.89 €

Grands Exploits - 17 Mettant en vedette - Andrew Murray dans les deux Pactes; une vie chrétienne.. George Muller

In brossura

34.99 €

LES MONDES DE SCHREBER - SCHREBERWELTEN Tome 1

Libro

29.79 €

Dictionnaire Argot-Français Napoléon Hayard

In brossura

12.69 €

Midjourney u. Co. Rainer Hattenhauer

In brossura

22.09 €

Sorozatgyilkosokkal beszélgettem Christopher Berry-Dee

Rigido

12.49 €

Co mógłbyś odpowiedzieć? Ćwiczenia kształtujące umiejętności społeczne. Co masz na myśli? Amanda Hopkins

In brossura

7.59 €

Traktát o jsoucnu a esenci Tomáš Akvinský

Foglio

11.29 €

No-no-yuri SHIMAZAKI AKI

In brossura

17.39 €

PRELUDIO ALL' DESERTO POUR CLAVECIN ROSAZ JC Libro

In brossura

13.59 €

MICHEL PIGNOLET DE MONTECLAIR: 10 MENUETS QUI SE DANSENT AUX BALS DE L'OPERA (FLUTE & HARPSICHORD) MONTECLAIR Pubblicazioni cartacee

Note

54.49 €

L'Océan, les bêtes et l'homme Conti

Libro

21.89 €

Christstollen - 500 Teile (Puzzle)

Gioco

24.99 €

This book constitutes the refereed proceedings of the 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Québec City, Canada in June 2010. The 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal calculation. Within this theme, the scope of the series is very diverse, including programming methodology, program specification and transformation, program analysis, programming paradigms, programming calculi, programming language semantics, security and program logics.