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
Title Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers / Bernhard K. Aichernig, Tom Maibaum (eds.).
Imprint Berlin ; New York : Springer-Verlag, 2003.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Series Lecture notes in computer science ; 2757
Lecture notes in computer science ; 2757.
Subject Software engineering -- Congresses.
Alt Name Aichernig, Bernhard K., 1969-
Maibaum, Thomas S. E., 1947-
International Institute for Software Technology.
Description xiv, 453 pages : illustrations ; 24 cm.
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 3540205276 (alk. paper)
9783540205272 (alk. paper)
OCLC # 648147361
Link OhioLINK electronic book center (OCoLC)180989150
SpringerLink (OCoLC)43927870
Additional Format Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers (OCoLC)53796797


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