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 - Marco Bernardo

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

By: Marco Bernardo (Editor), Paola Inverardi (Editor)

Paperback | 12 September 2003

At a Glance

FREE SHIPPING

Paperback


$101.07

Aims to ship in 7 to 10 business days

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.

More in Software Engineering

Fluent C : Principles, Practices, and Patterns - Christopher Preschern

RRP $125.50

$51.25

59%
OFF
Learning Agile : Understanding Scrum, XP, Lean, and Kanban - Andrew Stellman
Information Modeling and Relational Databases : 2nd Edition - Terry Halpin
Systems Analysis and Design : 8th Edition - Alan Dennis

RRP $263.95

$220.75

16%
OFF
Debugging Teams : Better Prductivity Through Collaboration - Brian Debugging
Learning Algorithms : A Programmer's Guide to Writing Better Code - George Heineman
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner
Being Geek : The Software Developer's Career - Michael Lopp

RRP $47.50

$27.25

43%
OFF
Introduction to Software Testing : 2nd Edition - Paul Ammann

RRP $96.95

$83.75

14%
OFF
Software Testing : A Craftsman's Approach, Fourth Edition - Paul C. Jorgensen
Sw Software Engineering + Prac Ob Orient Design : Shrinkwrapped pack - Roger S. Pressman

RRP $322.95

$236.25

27%
OFF