Cover Image

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 22-27, 2003 : advanced lectures /

Bibliographic Details
Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service)
Other Authors: Bernardo, Marco, Inverardi, Paola
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, 2003.
Series:Lecture notes in computer science ; 2804.
Subjects:
Real-time data processing > Congresses.
Formal methods (Computer science) > Congresses.
Computer systems > Congresses.
Computer software > Congresses.
Logiciels > Congrès.
Méthodes formelles (Informatique) > Congrès.
Ordinateurs > Architecture > Congrès.
Systèmes, Conception de > Congrès.
Computer software.
Computer systems.
Formal methods (Computer science)
Real-time data processing.
Méthode formelle.
Architecture logicielle.
Conception de systèmes.
Formale Methode.
Kongress.
Softwarearchitektur.
Softwareentwicklung.
Systementwicklung.
Electronic books.
Conference proceedings.
Bertinoro (2003)
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (vi, 285 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3540200835
9783540200833