Kluwer - Advanced Formal Verification.pdf

(4293 KB) Pobierz
23361608 UNPDF
23361608.001.png
ADVANCED FORMAL VERIFICATION
This page intentionally left blank
Advanced Formal
Verification
Edited by
Rolf Drechsler
University of Bremen,
Germany
KLUWER ACADEMIC PUBLISHERS
eBook ISBN:
1-4020-2530-0
Print ISBN:
1-4020-7721-1
©2004 Kluwer Academic Publishers
New York, Boston, Dordrecht, London, Moscow
Print ©2004 Kluwer Academic Publishers
Dordrecht
All rights reserved
No part of this eBook may be reproduced or transmitted in any form or by any means, electronic,
mechanical, recording, or otherwise, without written consent from the Publisher
Created in the United States of America
Visit Kluwer Online at:
and Kluwer's eBookstore at:

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin