Logic-Based Program Synthesis and Transformation Andy King
53,49 €
Titel: Logic-Based Program Synthesis and Transformation, Untertitel: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers, Einband: Taschenbuch, Autor: Andy King, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 232, Maße: 235x155x13 mm, Gewicht: 359 g, Verkäufer: buch-mimpf, Schlagworte: Programmieren (EDV) Reengineering - Re-engineering Analysis Reuse Specification agent-based software development algorithm algorithms component-based software development composition logic modeling optimisation program refinement proving software architectures verification.
Jetzt bei Ebay:
