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 2003 : advanced lectures edited by Marco Bernardo and Paola Inverardi

Contributor(s):

Publication details: Berlin Springer 2003Description: vi, 285 p. : ill. ; 24 cmISBN:

ISSN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Materials specified	Status	Barcode
English Books	Anna Centenary Library	005.3 BER (Browse shelf(Opens below))	pbk	Available	208714

Previous			No cover image available				No cover image available	Next
Previous	005.3 BAZ The NVivo qualitative project book	005.3 BEC Planning extreme programming	005.3 BEN Visualizing software : a graphical notation for analysis, design, and discussion	005.3 BER 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 2003 : advanced lectures	005.3 BER Hands-on game development without coding create 2D and 3D games with visual scripting in unity	005.3 BER;1 Hands-on game development without coding create 2D and 3D games with visual scripting in unity	005.3 BOW.1 The software encyclopedia 2003	Next

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Find us on the map