Skip to contents

  1. Grenning, James W. [Author] ; Carter, Jacquelyn [Other]

    Test-driven development for Embedded C

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Raleigh, NC [u.a.]: Pragmatic Bookshelf, 2011

    Published in: The pragmatic programmers

  2. Brim, Luboš [Editor]; Haverkort, Boudewijn [Other]; Leucker, Martin [Other]; Pol, Jaco van de [Other] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

    Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Published in: Lecture notes in computer science ; 4346