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

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading ... Read More

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work. Read Less

• All from $16.50
• New Books from $51.65
• Used Books from $47.00
• eBook from $16.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $16.50 (Expires Aug 05, 2024) 60 Day Rental: $22.00 (Expires Sep 04, 2024) 90 Day Rental: $27.50 (Expires Oct 04, 2024) 120 Day Rental: $33.00 (Expires Nov 03, 2024) 180 Day Rental: $35.75 (Expires Jan 02, 2025) Buy eBook Lifetime Access: $54.99 Title: Formal Methods for Software Architectures by Marco Bernardo; Âpaola Inverardi Publisher: Springer Nature Print ISBN: 9783540200833, 3540200835 eText ISBN: 9783540398004 Edition: 2003 1st edition Format: PDF eBook	$16.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ