Enlarge

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,

Publication Data

Title 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,
Contributors Marco Bernardo, Paola Inverardi
Publisher Springer
Publication date 2003
Publication location Berlin
Language English

Descriptive Notes

Includes index.

Topics

Computer software
Computer architecture
System design
Formal methods (Computer science)

Catalogue Data

OBNB ID GBA369782
ISBN 10 3540200835
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.3

ISBD

P1053 vi, 285 p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

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, . ISBN 3540200835. Published by Springer in 2003. Publication and catalogue information, links to buy online and reader comments.