Formal methods for software architectures : third international school on formal methods for the design of computer, communication, and software systems--software architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures 
edited by Marco Bernardo and Paola Inverardi 
 - Berlin  Springer  2003 
 - vi, 285 p. : ill. ; 24 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9783540200833 
<br/><br/><label>ISSN: </label>2003060987 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software - Congresses<br/>Computer systems - Congresses<br/>Formal methods (Computer science) - Congresses<br/>Real-time data processing - Congresses
<br/><br/><label>Dewey Class. No.: </label>005.3 BER