Related Books
Language: en
Pages: 405
Pages: 405
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of i
Language: en
Pages: 460
Pages: 460
Type: BOOK - Published: 1998-09-16 - Publisher: Springer Science & Business Media
1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted t
Language: en
Pages: 369
Pages: 369
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in th
Language: en
Pages: 276
Pages: 276
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
The areas of active and real-time databases have seen a tremendous growth of interest in the past few years, particularly with regard to their support of time-c
Language: en
Pages: 272
Pages: 272
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media
As the costs of power and timing become increasingly difficult to manage in traditional synchronous systems, designers are being forced to look at asynchronous