ISBN is

9783540611554 / 354061155X

Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science)

by

Publisher:Springer, 1996

Edition:Softcover

Language:English

Prices INCLUDE standard shipping to United States
Show prices without shipping
Change shipping destination/currency
Shipping prices may be approximate. Please verify cost before checkout.

About the book:

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.

Search under way...

Search complete.

Compare book prices from over 100,000 booksellers. Click on the price to find out more about a book.

New books: 1 - 10 of 40

   

Used books: 1 - 10 of 73