My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
 
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

E-RESOURCE
Author International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England)

Title Formal methods and software engineering [electronic resource] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings / Kung-Kiu Lau, Richard Banach (eds.).

Published Berlin ; New York : Springer, c2005.

Copies

Location Call No. Status
 UniM INTERNET resource    AVAILABLE
Physical description 1 online resource (xiv, 496 p.) : ill.
Series Lecture notes in computer science, 0302-9743 ; 3785
Lecture notes in computer science ; 3785. 0302-9743
Bibliography Includes bibliographical references and index.
Notes Description based on print version record.
Other author Lau, K.-K (Kung-Kiu), 1953-
Banach, Richard.
Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Electronic books.
Variant Title 7th International Conference on Formal Engineering Methods
International Conference on Formal Engineering Methods
ICFEM 2005
ISBN 9783540322504
3540322507
3540297979
9783540297970
661140662X
9786611406622