Bokus

G. Guiho – författare

Visar alla böcker från författaren G. Guiho. Handla med fri frakt och snabb leverans.

3 produkter

  1. A.W. Biermann, G. Guiho - Computer Program Synthesis Methodologies, Inbunden. Tillgänglighet: Lägg i varukorg

    Computer Program Synthesis Methodologies

    Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981

    Av A.W. Biermann, G. Guiho

    Inbunden, 1982

    2179 kr

    Lägg i varukorg

    powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which enables a user to code in terms of mathematical enti­ ties such as sets and BDl which allows a user, presumably a businessman, to specify a computation in terms of …

  2. G. Guiho, A.W. Biermann - Computer Program Synthesis Methodologies, E-bok. Tillgänglighet: Lägg i varukorg

    Computer Program Synthesis Methodologies

    Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981

    Av G. Guiho, A.W. Biermann

    E-bok, 2012

    2833 kr

    Lägg i varukorg

    powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which enables a user to code in terms of mathematical enti­ ties such as sets and BDl which allows a user, presumably a businessman, to specify a computation in terms of …

  3. A.W. Biermann, G. Guiho - Computer Program Synthesis Methodologies, Häftad. Tillgänglighet: Lägg i varukorg

    Computer Program Synthesis Methodologies

    Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–October 10, 1981

    Av A.W. Biermann, G. Guiho

    Häftad, 2011

    2179 kr

    Lägg i varukorg

    powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which enables a user to code in terms of mathematical enti­ ties such as sets and BDl which allows a user, presumably a businessman, to specify a computation in terms of …