Formal Description Techniques

Author	:
Publisher	:
Total Pages	: 480
Release	: 1996
ISBN-10	: PSU:000025789768
ISBN-13	:
Rating	: 4/5 (68 Downloads)

DOWNLOAD EBOOK

Book Synopsis Formal Description Techniques by :

Download or read book Formal Description Techniques written by and published by . This book was released on 1996 with total page 480 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Formal Description Techniques Related Books

Language: en
Pages: 480

Formal Description Techniques

Authors:

Categories: Computer network protocols

Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 528

Formal Description Techniques, VI

Authors: Richard L. Tenney

Categories: Computers

Type: BOOK - Published: 1994 - Publisher: Elsevier Science & Technology

DOWNLOAD EBOOK

This book is the sixth in a series of volumes concentrating on formal techniques applicable to distributed systems and protocols. The initial focus on technique

Language: en
Pages: 462

Formal Description Techniques and Protocol Specification, Testing and Verification

Authors: Stan Budkowski

Categories: Technology & Engineering

Type: BOOK - Published: 2013-04-17 - Publisher: Springer

DOWNLOAD EBOOK

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed syst

Language: en
Pages: 512

Formal Description Techniques VII

Authors: D. Hogrefe

Categories: Technology & Engineering

Type: BOOK - Published: 2016-01-09 - Publisher: Springer

DOWNLOAD EBOOK

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of f

Language: en
Pages: 513

Formal Description Techniques IX

Authors: R. Gotzhein

Categories: Technology & Engineering

Type: BOOK - Published: 2016-01-09 - Publisher: Springer

DOWNLOAD EBOOK

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series