|
Verification.
|
|
2001
Myers, Chris J., 1969-
Rating:
|
2010
Weinheim : Wiley-VCH, [2010]
Rating:
|
2020
Fifth edition
Philadelphia : Wolters Kluwer, [2020]
Rating:
|
2013
Papavinasam, Sankara
Rating:
|
2013
IFIP TC10 Working Conference: International Embedded Systems Symposium (2013 : Paderborn, Germany)
Rating:
|
2008
Thousand Oaks, Calif. : SAGE Publications, [2008]
Rating:
|
1995
Adams, M. R.
Cambridge, Cambs. : Royal Society of Chemistry, 1995
Rating:
Request It
|
2013
International Conference on Formal Engineering Methods (15th : 2013 : Queenstown, N.Z.)
Heidelberg : Springer, [2013]
Rating:
|
2001
Laseau, Paul, 1937-
Third edition
New York ; Chichester : John Wiley & Sons, [2001]
Rating:
Request It
|
2016
Crasto, Winston
Switzerland : Springer, 2016
Rating:
|
2013
International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)
Rating:
|
2015
Poister, Theodore H
Second edition
San Francisco, CA : Jossey-Bass & Pffeifer Imprints, Wiley, [2015]
Rating:
|
2018
Bellandi, Francesco, author
First edition
Bingley, UK : Emerald Publishing, 2018
Rating:
|
2013
MODELS (Conference) (16th : 2013 : Miami, Fla.)
Heidelberg : Springer, 2013
Rating:
|
2012
Cypress, CA : Medcom, 2012
Rating:
|
2013
Detroit : Gale Cengage Learning in association with the Catholic University of America, 2013
Rating:
|
Add Marked to Bag
Add All On Page
|
|