Marknadens största urval
Snabb leverans

Unifying Theories of Programming

- 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Om Unifying Theories of Programming

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783319148052
  • Format:
  • Häftad
  • Sidor:
  • 143
  • Utgiven:
  • 4. februari 2015
  • Utgåva:
  • 2015
  • Mått:
  • 155x235x8 mm.
  • Vikt:
  • 2467 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 18. december 2024

Beskrivning av Unifying Theories of Programming

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014.

Användarnas betyg av Unifying Theories of Programming



Hitta liknande böcker
Boken Unifying Theories of Programming finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.