Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers - Theoretical Computer Science and General Issues - Burkhard Wolff - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642357046 - 2013. gada 4. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers - Theoretical Computer Science and General Issues 2013 edition

Cena
€ 49,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 29. okt. - . gada 6. nov.
Saņemiet paziņojumus par jauniem Burkhard Wolff izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.


257 pages, 4 black & white illustrations, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2013. gada 4. janvāris
ISBN13 9783642357046
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 249
Izmēri 155 × 235 × 13 mm   ·   367 g
Valoda Vācu  
Redaktors Feliachi, Abderrahmane
Redaktors Gaudel, Marie-Claude
Redaktors Wolff, Burkhard

Vairāk no tā paša izdevēja