Fortell venner om denne varen:
Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr '96, Stockholm, Sweden, August 28-30, 1996, Proceedings - Lecture Notes in Computer Science
John Gallagher
Pris
HK$ 510
Bestillingsvarer
Forventes levert 16. - 28. okt
Legg til iMusic ønskeliste
Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr '96, Stockholm, Sweden, August 28-30, 1996, Proceedings - Lecture Notes in Computer Science
John Gallagher
Constituting the proceedings of a workshop on logic program synthesis and transformation held on board a ship sailing from Stockholm to Helsinki in August 1996, the 17 papers cover topics such as synthesis of programs from specifications, transformation, specialization and analysis of programs.
331 pages, biography
Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
Utgitt | 12. mars 1997 |
ISBN13 | 9783540627180 |
Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
Antall sider | 331 |
Mål | 156 × 234 × 18 mm · 476 g |
Redaktør | Gallagher, John P. |
Vis alle
Mer med John Gallagher
Se alt med John Gallagher ( f.eks. Pocketbok , Innbunden bok , CD og Bok )