Product Code Database
   » » Barcode: 9789814532853
Tag Barcode '9789814532853'.
Tag
Mark as Favorite

Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop
 (

ISBN 9789814532853
REGISTERED: 01/01/18
UPDATED: 04/10/21
Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop

This volume contains papers on formal system specification


Specifications
  • Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop available on January 30 2018 from VitalSource for Https://www.vitalsource.com/textbooks?term=9789814532853&cjsku=9789814532853" itemprop="offers" target="_external" title="" itemscope itemtype="http://schema.org/Offer">233.0
  • ISBN bar code 9789814532853 ξ1 registered January 30 2018
  • Product category is Book

  • # 9789814532853

The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic specification. Applications include information systems, distributed systems, and real-time systems. One of the major themes in the book is the motivation to bring formal specification techniques one step further towards realistic applications.


References
    ^ Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop VitalSource. (revised Jan 2018)

Page 1 of 1
1

Account

Social:
Pages:  ..   .. 
Items:  .. 

Navigation

General: Atom Feed Atom Feed  .. 
Help:  ..   .. 
Category:  ..   .. 
Media:  ..   .. 
Posts:  ..   ..   .. 

Statistics

Page:  .. 
Summary:  .. 
1 Tags
7/10 Page Rank
318 Page Refs
4s Time
32 Sources