Torthaí cuardaigh - "Computer software Verification Congresses."

Beachtaigh na torthaí
  1. 11

    Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  2. 12

    Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Systems via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  3. 13

    Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  4. 14

    Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  5. 15

    NASA formal methods third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

    Foilsithe / Cruthaithe 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Íomhá chlúdaigh
  6. 16

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2016

    Foilsithe / Cruthaithe 2018
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    Íomhá chlúdaigh
  7. 17

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2013

    Foilsithe / Cruthaithe 2015
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    Íomhá chlúdaigh
  8. 18

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2018

    Foilsithe / Cruthaithe 2020
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    Íomhá chlúdaigh
  9. 19

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2014

    Foilsithe / Cruthaithe 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    Íomhá chlúdaigh
  10. 20

    Languages, design methods, and tools for electronic system design selected contributions from FDL 2015

    Foilsithe / Cruthaithe 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource


    Íomhá chlúdaigh

Uirlisí cuardaigh: