Skip to content
VuFind
  • 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
Udvidet
  • Software specification methods
  • Citér dette
  • Stav dette
  • Email dette
  • Udskriv
  • Eksportér post
    • Eksportér til RefWorks
    • Eksportér til EndNoteWeb
    • Eksportér til EndNote
  • Føj til favoritter
  • Permanent link
Omslagsbillede

Software specification methods

Saved in:
Bibliografiske detaljer
Institution som forfatter: ebrary, Inc
Andre forfattere: Habrias, Henri, Frappier, Marc, 1965-
Format: Electronisk eBog
Sprog:engelsk
Udgivet: London ; Newport Beach, CA : ISTE Ltd, 2006.
Udgivelse:2nd ed.
Fag:
Formal methods (Computer science)
Computer software > Specifications.
Electronic books.
Online adgang:An electronic book accessible through the World Wide Web; click to view
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
  • Beholdninger
  • Beskrivelse
  • Kommentar
  • Lignende værker
  • Medarbejdervisning

Internet

An electronic book accessible through the World Wide Web; click to view

Lignende værker

  • Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
    Udgivet: (2001)
  • Formal methods applied to complex systems : implementation of the B method /
    Udgivet: (2014)
  • Formal software development from VDM to Java /
    af: Charatan, Quentin
    Udgivet: (2004)
  • Cyber-Physical Systems of Systems Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy /
    Udgivet: (2016)
  • Designing with blends conceptual foundations of human-computer interaction and software engineering /
    af: Imaz, Manuel
    Udgivet: (2007)

Søgemuligheder

  • Søg Historie
  • Udvidet søgning

Find flere

  • Gennemse kataloget
  • Gennemse alfabetisk
  • Explore Channels
  • Kursusreservationer
  • Nye værker

Har du brug for hjælp?

  • Søgetips
  • Spørg en bibliotekar
  • FAQ’er
Cannot write session to /tmp/vufind_sessions/sess_a590298440a3256ed6b5f028c299598f