Hardware and Software : Verification and Testing

View on Open Library

Hardware and Software : Verification and Testing

by Roderick Bloem , Eli Arbel

No reviews yet

First published: 2016 ISBN: 9783319490519

Subjects

Computer programs Computer input-output equipment Computer software, verification

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Roderick Bloem

Decidability of Parameterized Verification

Decidability of Parameterized Verificati...

Handbook of Model Checking

Handbook of Model Checking

Computer Aided Verification

Computer Aided Verification

Trusted Systems

Trusted Systems

Software Verification

Software Verification

Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 Proceedings

Trusted Systems 5th International Confer...

You Might Also Like

More in Computer programs

Financial audit

Financial audit

United States. General Accounting Office

Reconfigurable Processor Array A Bit Sliced Parallel Computer (USA)

Reconfigurable Processor Array A Bit Sli...

A. Rushton

Financial Management

Financial Management

United States. General Accounting Office

Managerial Accounting

Managerial Accounting

Jerry J. Weygandt

Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz

Course ILT

Course Technology