Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Systems analysis & design

Buy Now

Formal Techniques in Real-Time and Fault-Tolerant Systems - 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (Paperback, 1996 ed.) Loot Price: R1,733

Discovery Miles 17 330

Repayment Terms: R162 pm x 12*

Add to cart

Formal Techniques in Real-Time and Fault-Tolerant Systems - 4th International Symposium, Uppsala, Sweden, September 9 - 13,...

Formal Techniques in Real-Time and Fault-Tolerant Systems - 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (Paperback, 1996 ed.)

Bengt Jonsson, Joachim Parrow

Series: Lecture Notes in Computer Science, 1135

(sign in to rate)

Loot Price R1,733 Discovery Miles 17 330 | Repayment Terms: R162 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.
The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1135
Release date:	August 1996
First published:	1996
Editors:	Bengt Jonsson • Joachim Parrow
Dimensions:	235 x 155 x 25mm (L x W x T)
Format:	Paperback
Pages:	490
Edition:	1996 ed.
ISBN-13:	978-3-540-61648-1
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Promotions
LSN:	3-540-61648-9
Barcode:	9783540616481