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 3151651 obálek a 950616 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Refinement techniques in software engineering : first Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004 : revised lectures
Rok: c2006
ISBN: 9783540462538
OKCZID: 110093268
Citace (dle ČSN ISO 690):
CAVALCANTI, Ana, ed., SAMPAIO, Augusto, ed. a WOODCOCK, Jim, ed. Refinement techniques in software engineering: first Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004 : revised lectures. Berlin: Springer, c2006. x, 391 s. Lecture notes in computer science, 3167.
Anotace
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004). The 7 tutorial lectures presented are the thoroughly revised versions of the contributions from the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The courses cover a wide spectrum of topics in software engineering such as concurrency, probability, real time, model checking, and object orientation. Apart from languages and techniques, the courses also cover the semantic underpinnings of refinement, and industrial applications and refinement tools.