Hoppa till sidans huvudinnehåll

Unifying Theories of Programming

7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Häftad, Engelska, 2019

AvPedro Ribeiro,Augusto Sampaio

729 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community.

Produktinformation

  • Utgivningsdatum2019-09-12
  • Mått155 x 235 x 13 mm
  • Vikt359 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor217
  • FörlagSpringer Nature Switzerland AG
  • ISBN9783030310370
Hoppa över listan

Du kanske också är intresserad av

Del 13197

Network Science

Pedro Ribeiro, Fernando Silva, José Fernando Mendes, Rosário Laureano

Häftad, 2022

799 kr

  • Nyhet
Del 16556

Formal Methods

Augusto Sampaio, Marielle Stoelinga

Häftad, 2026

589 kr

  • Nyhet

Formal Methods

Augusto Sampaio, Marielle Stoelinga

Häftad, 2026

1 359 kr