Vertel uw vrienden over dit artikel:
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Theoretical Computer Science and General Issues Maurizio Proietti 2015 edition
Prijs
€ 50,99
Besteld in een afgelegen magazijn
Verwachte levering 31 dec. - 8 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Theoretical Computer Science and General Issues
Maurizio Proietti
The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.
333 pages, 61 black & white illustrations, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 4 mei 2015 |
| ISBN13 | 9783319178219 |
| Uitgevers | Springer International Publishing AG |
| Pagina's | 333 |
| Afmetingen | 155 × 235 × 18 mm · 534 g |
| Taal en grammatica | Frans |
| Uitgever | Proietti, Maurizio |
| Uitgever | Seki, Hirohisa |
Meer door Maurizio Proietti
Alles tonen
Bekijk alles van Maurizio Proietti ( bijv. Book en Paperback Book )