The Formal Description Technique Estelle: Results of the Esprit Sedos Project buy

FEATURED The Formal Description Technique Estelle: Results of the Esprit Sedos Project

Of interest to those involved in the design of complex distributed systems, this volume presents papers concerning the Formal Description Technique Estelle. It includes a general survey and technical papers on: the semantics of Estelle, selected application examples, extensions and relationships with Petri nets, verification methods with software prototypes and an implementation support package for edition, simulation and code generation. The SEDOS (Software Environment for the Design of Open Distributed Systems) project was supported by the Commission of the European Communities under the ESPRIT Programme. It was divided into two main tasks, related respectively to the two ISO formal description techniques Estelle and LOTOS, which became i

Buy Here

»»  Read More !

Furniture Restoration: Step-By-Step Tips and Techniques for Professional Results

FEATURED Furniture Restoration: Step-By-Step Tips and Techniques for Professional Results

Repair that favorite antique—with step-by-step help from the pros.


Who doesn't love to watch Antiques Roadshow? And who doesn’t secretly suspect that Mom's sewing cabinet, that great thrift-store table, or Grandpa's rocking chair could someday be the star of the show? If only the cabinet door hung straight... if only the table weren't all scratched up.. if only the chair still rocked. Now it's easy to get those pieces ready for their close-up! Furniture Restoration makes it simple to assess and repair favorite pieces, whether they're family heirlooms or flea-market finds. Authors Ina Brosseau Marx and Allen Marx share more than thirty years of experience in all kinds of antique furniture restoration. The first chapter gives r

More details

»»  Read More !