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 2903904 obálek a 875771 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Specification and validation methods | |||||
Rok: 1995 AnotaceHere is a high-level introduction to the methods for specification and validation of computing systems, with a description of new developments in addition to state-of-the-art techniques. The chapters span the field, from the semantics of programming languages and their implementation (e.g. PROLOG, C++) to architecture design (VHDL), parallel and distributed programs, and protocols (e.g. kermit). The book is unique for two reasons. First, it combines an up-to-date survey with a systematic presentation of recent advances and new ideas and approaches. Second, its themes range from software to hardware design, and the proposed methods are applied to specification and validation of complex real life computing systems. Such an approach makes this an important book for researchers and graduate students in computer science and systems programmers. Dostupné zdroje
|