Related Books
Language: en
Pages: 320
Pages: 320
Type: BOOK - Published: 1996-10-25 - Publisher: World Scientific
With 14 chapters written by leading experts and educators, this book covers a wide range of topics from teaching philosophy and curriculum development to symbol
Language: en
Pages: 311
Pages: 311
Type: BOOK - Published: 1996 - Publisher: World Scientific Publishing Company Incorporated
Language: en
Pages: 322
Pages: 322
Type: BOOK - Published: 1996 - Publisher:
Language: en
Pages: 624
Pages: 624
Type: BOOK - Published: 2007-12-05 - Publisher: Springer Science & Business Media
This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specifi
Language: en
Pages: 253
Pages: 253
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) repres