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, Paola Inverardi (eds.)
Bok · Engelsk · 2003 Communication and Software Systems International School on Formal Methods for the Design of Computer

Annen tittel	Third International School on Formal Methods for the Design of Computer, Communication and Software Systems
Utgitt	Berlin : Springer , c2003
Omfang	VI, 285 s : ill.
Emner	Computer architecture Computer software Computer systems Formal methods (Computer science) Vis mer... Real-time data processing System design Computer Science Datamaskinarkitektur Engineering & Applied Sciences Formelle metoder Programarkitektur Programvare Systemutvikling Formelle metoder((NO-TrBIB)REAL002404) Programarkitektur((NO-TrBIB)REAL005682) formelle metoder
Dewey	005.3
ISBN	3540200835