Nicolas Halbwachs – författare
Visar alla böcker från författaren Nicolas Halbwachs. Handla med fri frakt och snabb leverans.
7 produkter
Synchronous Programming of Reactive Systems
Inbunden, 1992
561 kr
Lägg i varukorg
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 …
Synchronous Programming of Reactive Systems
Häftad, 2010
561 kr
Lägg i varukorg
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 …
Synchronous Programming of Reactive Systems
E-bok, 2013
755 kr
Lägg i varukorg
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 …
Tools and Algorithms for the Construction and Analysis of Systems
11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
Av Nicolas Halbwachs, Lenore Zuck
Häftad, 2005
1114 kr
Lägg i varukorg
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, …
Tools and Algorithms for the Construction and Analysis of Systems
11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
Av Lenore Zuck, Nicolas Halbwachs
E-bok, 2005
1502 kr
Lägg i varukorg
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, …
Computer Aided Verification
11th International Conference, CAV''99, Trento, Italy, July 6-10, 1999, Proceedings
Av Doron Peled, Nicolas Halbwachs
E-bok, 2003
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV''99, held in Trento, Italy in July 1999 as part of FLoC''99. The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also …
Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Av Nicolas Halbwachs, Doron Peled
Häftad, 1999
562 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included …
