Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings - Lecture Notes in Compu - Rocco De Nicola - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540713142 - 2007. gada 8. marts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings - Lecture Notes in Compu 2007 edition

Cena
€ 103,99

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

Paredzamā piegāde . gada 20. - 30. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Rocco De Nicola izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties.


542 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2007. gada 8. marts
ISBN13 9783540713142
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 542
Izmēri 155 × 235 × 29 mm   ·   820 g
Valoda Franču  
Redaktors De Nicola, Rocco

Vairāk no Rocco De Nicola

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