Design And Validation Of Computer Protocols

Protocols

by Gerard J. Holzmann

Paperback

details (USA).

ISBN: 978-0-13-539925-5

ISBN-10: 0-13-539925-4

Prentice Hall · 1990