Buy Used and New B . Berard Books

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen

ISBN 13: 9783540415237

Format: Hardcover (196 pages)
Publisher: Springer
Published: 20 Jun 2001

Save for later

Systems and Software Verification: Model-Checking Techniques and Tools

by B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen

ISBN 13: 9783642074783

Format: Paperback (196 pages)
Publisher: Springer
Published: 15 Dec 2010

Save for later