Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference International Conference on Formal Engineering Methods (6th : 2004 : Seattle, Wash.)
Title Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (eds.).
Imprint Berlin ; New York : Springer, [2004]
©2004
Edition First edition.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference International Conference on Formal Engineering Methods (6th : 2004 : Seattle, Wash.)
Series Lecture notes in computer science, 0302-9743 ; 3308
Lecture notes in computer science ; 3308. 0302-9743
Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Alt Name Davies, Jim, 1964-
Schulte, Wolfram.
Barnett, Mike, 1957-
Description xiii, 500 pages : illustrations ; 24 cm.
Edition First edition.
Bibliography Note Includes bibliographical references and index.
Access Available to OhioLINK libraries.
Reproduction Electronic reproduction. Columbus, OH : OhioLINK, 2008.
System Details Mode of access: World Wide Web.
ISBN 3540238417 (softcover : alk. paper)
9783540238416 (softcover : alk. paper)
OCLC # 648147707
Link OhioLINK electronic book center (OCoLC)180989150
SpringerLink (OCoLC)43927870
Additional Format International Conference on Formal Engineering Methods (6th : 2004 : Seattle, Wash.) Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings (OCoLC)57053747


If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team