Filter By
Books (4)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Synchronous Programming of Reactive Systems by Nicolas Halbwachs 9780792393115
Booksplease Price: £46.28This 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... -
Synchronous Programming of Reactive Systems by Nicolas Halbwachs 9781441951335
Booksplease Price: £46.74This 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... -
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings by Nicolas Halbwachs 9783540662020
Booksplease Price: £46.58This 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... -
Advances in Computing Science - ASIAN'99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings by P. S. Thiagarajan 9783540668565
Booksplease Price: £46.58The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science from the Asian region to meet and to promote interaction with...