Formal Techniques in Real-time and Fault-tolerant Systems - the Springer International Series in Engineering and Computer Science - J Vytopil - Books - Kluwer Academic Publishers - 9780792393320 - April 30, 1993
In case cover and title do not match, the title is correct

J Vytopil
Formal Techniques in Real-time and Fault-tolerant Systems - the Springer International Series in Engineering and Computer Science

Price
$ 184.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Focuses on the formal specification, development and verification of fault-tolerant computing systems. This book defines the basic notions and practices of the field of design and specification of fault-tolerant systems. It contains examples of the use of formal methods in specification and development of fault-tolerant systems.

208 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released April 30, 1993
ISBN13 9780792393320
Publishers Kluwer Academic Publishers
Pages 208
Dimensions 155 × 235 × 14 mm   ·   498 g
Language English  
Editor Vytopil, Jan

Mere med samme udgiver

See all of J Vytopil ( e.g. Hardcover Book )