Bokus

Lenore Zuck – författare

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

2 produkter

  1. Nicolas Halbwachs, Lenore Zuck - Tools and Algorithms for the Construction and Analysis of Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Tools and Algorithms for the Construction and Analysis of Systems

    11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

    Av Nicolas Halbwachs, Lenore Zuck

    Häftad, 2005

    1114 kr

    Lägg i varukorg

    ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, …

  2. Lenore Zuck, Nicolas Halbwachs - Tools and Algorithms for the Construction and Analysis of Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Tools and Algorithms for the Construction and Analysis of Systems

    11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

    Av Lenore Zuck, Nicolas Halbwachs

    E-bok, 2005

    1502 kr

    Lägg i varukorg

    ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, …