Skip to content

Help us improve FiNDit! Share your feedback, report issues, or suggest enhancements using our feedback form.

Notre Dame Library
  • Browse
  • Databases
  • LibGuides
  • Login
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Māori
  • All Results
  • Books
  • Articles & other Electronic Resources
  • Print Journals
  • Electronic Journals
  • Other Resources
  • Distinctive Collections
  • Library Guides

Advanced|Search History|Search Tips
  • Formal methods in systems engi...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to Zotero / EndNote
    • Export to BibTeX
  • Save to List
  • Permanent link
Cover Image

Formal methods in systems engineering /

Saved in:
Bibliographic Details
Other Authors: Ryan, Peter, PhD, Sennett, C. T.
Format: Book
Language:English
Published: London ; New York : Springer Verlag, [1993], ©1993.
Subjects:
Computer software > Development.
Systems engineering.
Formal methods (Computer science)
Computer software.
  • Holdings
  • Description
  • Table of Contents
  • Staff View

Annex

Holdings details from Annex
Call Number: TK 7885 .A6 F67 1993
Available Request Request a scan of an article or book chapter

Similar Items

  • FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
    Published: (2003)
  • FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
    Published: (2002)
  • Software performance and scalability : a quantitative approach
    by: Liu, Henry H.
    Published: (2009)
  • Developing quality computer systems
    by: Coogan, A. (Anthony)
    Published: (1994)
  • Verification of reactive systems : formal methods and algorithms
    by: Schneider, Klaus, 1967-
    Published: (2004)

Services

  • Books on Reserve
  • Interlibrary Loan
  • Equipment Lending

Contact Information

  • 284 Hesburgh Library, Notre Dame, IN 46556
  • Circulation Desk (574) 631-6679
  • Security Monitors (574) 631-6350
  • asklib@nd.edu
  • Report a Problem