Functional and Logic Programming Taisuke Sato
85,59 €
Titel: Functional and Logic Programming, Untertitel: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings, Einband: Taschenbuch, Autor: Taisuke Sato, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 388, Maße: 235x155x21 mm, Gewicht: 587 g, Verkäufer: buch-mimpf, Schlagworte: Logikprogrammierung Currying Functional Programming Logic Programming Program Transformation Semantics formal verification functional-logic programming logic partial evaluation program analysis programming type checking verification.
Jetzt bei Ebay:
