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 2909516 obálek a 879138 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Fundamental approaches to software engineering : First international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings



Rok: 1998
ISBN: 9770302974002
ISBN: 9783540643036
OKCZID: 110057051

Citace (dle ČSN ISO 690):
DERSHOWITZ, Nachum, ed. Rewriting techniques and applications: 3rd international conference, RTA-89, Chapel Hill, North Carolina, USA April 3-5, 1989 : proceedings. Berlin: Springer, 1989. vii, 578 stran. Lecture notes in computer science, 355.


Anotace

 

This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, held in Lisbon, Portugal, in March/April 1998. Besides two invited presentations and three system demonstrations, this volume presents 18 revised full papers selected from a total of 59 submissions. Among the various fundamental software engineering issues addressed are formal methods, specification languages, refinement, object-oriented modeling, software architectures, statecharts, model checking, etc.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)