Search results for ‘David Luckham’

Filter & Refine

      Cover image for Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
      Paperback
      Add to list Added to list

      Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs

      David Luckham

      Topics * what this book is about, * its intended audience, * what the reader ought to know, * how the book is organized, * acknowledgements. The use of specifications…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Event Processing for Business: Organizing the Real Time Enterprise
      Hardback
      Add to list Added to list

      Event Processing for Business: Organizing the Real Time Enterprise

      David C. Luckham

      This book will tell enterprise and business managers how to make the most advantageous use of event processing technology to develop real time actionable management information from the events flowing…

      $119.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for Hardware Design and Simulation in VAL/VHDL
      Paperback
      Add to list Added to list

      Hardware Design and Simulation in VAL/VHDL

      Larry M. Augustin,David C. Luckham,Benoit A. Gennart,Youm Huh,A. Stanculescu

      The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VAL (VHDL Annotation Language) is a simple further step in the evolution of hardware description…

      $276.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Hardware Design and Simulation in VAL/VHDL
      Hardback
      Add to list Added to list

      Hardware Design and Simulation in VAL/VHDL

      Larry M. Augustin,David C. Luckham,Benoit A. Gennart,Youm Huh,A. Stanculescu

      The VHSIC Hardware Description Language (VHDL) provides a standard machine processable notation for describing hardware. VAL (VHDL Annotation Language) is a simple further step in the evolution of hardware description…

      $276.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for ANNA A Language for Annotating Ada Programs: Reference Manual
      Paperback
      Add to list Added to list

      ANNA A Language for Annotating Ada Programs: Reference Manual

      David C. Luckham,Friedrich W. von Henke,Bernd Krieg-Brueckner,Olaf Owe

      ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs. It is designed to meet a perceived need to augment ADA…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics
      Paperback
      Add to list Added to list

      MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics

      Andrzej Blikle

      The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott’s reflexive domains and where jumps are described without continuations.

      $138.99

      Available to order, ships in 7-14 daysAvailable to order