Design and Validation of Computer Protocols (Prentice Hall Software Series)

DESIGN AND VALIDATION OF COMPUTER PROTOCOLS Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey 07974 PRENTIC...
Author:  Gerard Holzmann

47 downloads 1026 Views 1MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

DESIGN AND VALIDATION OF COMPUTER PROTOCOLS Gerard J. Holzmann -----------, Gerard J. Holzman n Digitally signed by G...

Computational Category Theory D.E. Rydeheard University of Manchester R.M. Burstall University of Edinburgh v This is...

AT&T `11=■• •■••■ THE DESIGN OF THE UNIX® OPERATING SYSTEM Maurice J. Bach PRENTICE-HALL, INC., Englewood Cliffs, Ne...

From the Library of sam kaplan Essential JavaFX™ GAIL ANDERSON • PAUL ANDERSON Upper Saddle River, NJ • Boston • Indi...

Linear Controller Design: Limits of Performance Stephen Boyd Craig Barratt Originally published 1991 by Prentice-Hall...