Mathematics of Program Construction di Olaf Burkart edito da Springer Berlin Heidelberg
Alta reperibilità

Mathematics of Program Construction

Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings

EAN:

9783540601173

ISBN:

3540601171

Pagine:
488
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Mathematics of Program Construction

This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.

Spedizione gratuita
€ 91.48€ 96.29
Risparmi:€ 4.81(5%)
o 3 rate da € 30.49 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Mathematics of Program Construction
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti