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 > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Hybrid Systems III - Verification and Control (Paperback, 1996 ed.) Loot Price: R3,328

Discovery Miles 33 280

Repayment Terms: R312 pm x 12*

Add to cart

Hybrid Systems III - Verification and Control (Paperback, 1996 ed.): Rajeev Alur, Thomas A. Henzinger, Eduardo D Sontag

Hybrid Systems III - Verification and Control (Paperback, 1996 ed.)

Rajeev Alur, Thomas A. Henzinger, Eduardo D Sontag

Series: Lecture Notes in Computer Science, 1066

(sign in to rate)

Loot Price R3,328 Discovery Miles 33 280 | Repayment Terms: R312 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1066
Release date:	April 1996
First published:	1996
Editors:	Rajeev Alur • Thomas A. Henzinger • Eduardo D Sontag
Dimensions:	235 x 155 x 32mm (L x W x T)
Format:	Paperback
Pages:	619
Edition:	1996 ed.
ISBN-13:	978-3-540-61155-4
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
LSN:	3-540-61155-X
Barcode:	9783540611554