Theories of Programming and Formal Methods

Huibiao Zhu, Jim Woodcock, Zhiming Liu, 2013
Valutazioni
MarcaAltri prodotti Springer
Consegna tra 8.1.2026 e 13.1.2026
Più di 10 pezzi in stock presso il fornitore
Spedizione gratuita a partire da 50.–

Informazioni sul prodotto

Il libro "Theories of Programming and Formal Methods" è una raccolta di saggi pubblicata in onore di He Jifeng in occasione del suo 70° compleanno nel settembre 2013. Comprende 24 contributi sottoposti a revisione da parte di esperti, presentati durante un simposio celebrativo a Shanghai, Cina, nell'ambito del 10° Colloquio Internazionale sugli Aspetti Teorici del Calcolo (ICTAC 2013). I contributi coprono un ampio spettro di argomenti, che vanno da questioni fondamentali e teoriche a programmi, questioni di sistema e applicazioni. Tra i temi trattati ci sono metodi formali, modellazione di software e sistemi, semantica, leggi di programmazione, specifica e verifica, nonché logica. He Jifeng è noto per i suoi lavori pionieristici nelle teorie della programmazione e nei metodi formali nell'ingegneria del software, in particolare per le Teorie Unificanti della Programmazione (UTP).

Le specifiche più importanti in sintesi

Copertina del libro
Copertina rigida
Autore
Huibiao Zhu, Jim Woodcock, Zhiming Liu
argomento
Tecnologia & IT
Anno
2013
No. di articolo
55525560

Informazioni generali

Editore
Springer
Categoria
Libro specialistico
Data di rilascio
4.3.2025

Caratteristiche del libro

argomento
Tecnologia & IT
Autore
Huibiao Zhu, Jim Woodcock, Zhiming Liu
Anno
2013
Copertina del libro
Copertina rigida

Origine

Paese di origine
Paesi Bassi

Contributo climatico volontario

Emissione di CO₂
Contributo climatico

30 di diritto di recesso se non aperto
24 mesi Garanzia (Bring-in)

Confronta i prodotti

Suggerimenti

Valutazioni e opinioni

Ritenuta di garanzia

La frequenza con cui un prodotto di questo marchio nella categoria «Libro specialistico» presenta un difetto nei primi 24 mesi.

Fonte: Digitec Galaxus
  • 46.Hogrefe
    0.1 %
  • 46.Penguin Random House
    0.1 %
  • 46.Springer
    0.1 %
  • 49.Ariston
    0.2 %
  • 49.Beck C.H.
    0.2 %

Durata della garanzia

Il tempo di elaborazione che intercorre tra l'arrivo al centro di assistenza e il recupero da parte del cliente, in media in giorni lavorativi.

Fonte: Digitec Galaxus
  • Springer
    Dati non sufficienti
  • Anaconda
    Dati non sufficienti
  • Ariston
    Dati non sufficienti
  • Avery Publishing Group
    Dati non sufficienti
  • Bacopa
    Dati non sufficienti

Purtroppo non disponiamo di dati sufficienti per questa categoria per mostrarti ulteriori percentuali.

Percentuale di reso

La frequenza con cui un prodotto di questo marchio nella categoria «Libro specialistico» viene restituito.

Fonte: Digitec Galaxus
  • 70.Oxford University Press
    1.2 %
  • 70.Simon & Schuster
    1.2 %
  • 70.Springer
    1.2 %
  • 70.Taylor & Francis
    1.2 %
  • 76.Anaconda
    1.3 %
Fonte: Digitec Galaxus