It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
July 28, 2014 | History
Edit

Kedar S. Namjoshi

We need a photo of Kedar S. Namjoshi

3 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science)

    First published in 2005 — 3 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science)

    First published in 2006 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

    First published in 2011 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Kedar S. Namjoshi

Subjects

Computer programs, Congresses, Verification, Computer science, Computer software, verification, Logic design, Software engineering, Computer Books: General, Computer Programming, Computer Science, Computer input-output equipment, Computer software, Computers, Computers - General Information, Computers / Logic Design, Hardware, Hardwareverifikation, Logic Design, Logics and Meanings of Programs, Model Checking, Operating Systems - General, Programming - Software Development, Programming Languages - General, Programming Languages, Compilers, Interpreters, Programmverifikation

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7201382A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
July 28, 2014 Created by ImportBot import new book