Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2908352 obálek a 878396 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
The Formal Description Technique Estelle: Results of the Esprit Sedos Project | |||||
|
|
Rok: 1989 AnotaceOf 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 international standards in September 1988. Estelle has been developed in close collaboration with the TC97-SC21-WG1 group on Formal Description Techniques of ISO. Dostupné zdroje
| ||||