search for books and compare prices
Nicolas Halbwachs has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: This book will attempt to give a first synthesis of recent works con cerning reactive system design. The term "reactive system" has been introduced in order to at'oid the ambiguities often associated with by the term "real-time system," which, although best known and more sugges tive, has been given so many different meanings that it is almost in evitably misunderstood...read more
Hardcover:
9780792393115 | Kluwer Academic Pub, January 1, 1993, cover price $269.00 | About this edition: This book will attempt to give a first synthesis of recent works con cerning reactive system design.
Product Description: ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials...read more
Paperback:
9783540253334 | Springer Verlag, September 30, 2005, cover price $169.00 | About this edition: ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software.
Paperback:
9783540662020 | Springer-Verlag New York Inc, July 1, 1999, cover price $139.00
displaying 1 to 3 |
at end