• Anglický jazyk

Unifying Theories of Programming

Autor: Burkhard Wolff

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised... Viac o knihe

Na objednávku, dodanie 2-4 týždne

45.54 €

bežná cena: 50.60 €

O knihe

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.

  • Vydavateľstvo: Springer Berlin Heidelberg
  • Rok vydania: 2013
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783642357046

Generuje redakčný systém BUXUS CMS spoločnosti ui42.