/https://covers.openlibrary.org/b/id/8730933-L.jpg)
Unifying Theories of Programming
por
Sobre o livro
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.
Detalhes
OpenLibrary
OL19908676W
Fonte
OpenLibrary
O Que a Galera Achou
Entre pra avaliar e comentar
EntrarNinguém falou nada ainda. Seja a primeira pessoa corajosa a dar sua opinião.
/https://covers.openlibrary.org/b/id/8169164-L.jpg)
/https://covers.openlibrary.org/b/id/8703583-L.jpg)
/https://covers.openlibrary.org/b/id/8273576-L.jpg)
/https://covers.openlibrary.org/b/id/8172473-L.jpg)
/https://covers.openlibrary.org/b/id/8167642-L.jpg)
/https://covers.openlibrary.org/b/id/14563910-L.jpg)