Результаты поиска

Отмена результатов
  1. 1

    An introduction to formal program verification по Mili, Ali

    Опубликовано 1985
    ‌


    Значок книги
  2. 2

    Verifying and validating personal computer-based expert systems по Bahill, Terry

    Опубликовано 1991
    ‌


    Значок книги
  3. 3

    Asynchronous circuit applications

    Опубликовано 2019
    Available for University of the Philippines Diliman via IET Digital Library. Click here to access
    Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy
    Electronic Resource


    Значок книги
  4. 4

    Principles of model checking по Baier, Christel

    Опубликовано 2008
    Table of contents only
    ‌


    Значок книги
  5. 5

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS по Yoeli, Michael 1917-

    Опубликовано 2008
    ‌


    Значок книги
  6. 6

    SysML for systems engineering a model-based approach по Holt, Jon, Perry, Simon

    Опубликовано 2018
    Available for University of the Philippines Diliman via IET Digital Library. Click here to access
    Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy
    Electronic Resource


    Значок книги
  7. 7

    Model-based requirements engineering по Holt, Jon, Perry, Simon A., Brownsword, Mike

    Опубликовано 2012
    Available for University of the Philippines Diliman via IET Digital Library. Click here to access
    Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy
    Electronic Resource


    Значок книги
  8. 8

    SysML for systems engineering a model-based approach по Holt, Jon, Perry, Simon

    Опубликовано 2013
    Available for University of the Philippines Diliman via IET Digital Library. Click here to access
    Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy
    Electronic Resource


    Значок книги
  9. 9

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

    Опубликовано 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


    Значок книги
  10. 10

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

    Опубликовано 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


    Значок книги

Инструменты поиска: