Visas 1 - 2 av 2 resultat för sökning 'Ralston, Theodore L.' Hoppa till innehåll
UPFind
  • Bokkorg: 0 poster (Full)
  • Språk
    • 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
    • हिंदी
Avancerad
  • Upphovsman
  • Ralston, Theodore L.
Visas 1 - 2 av 2 resultat för sökning 'Ralston, Theodore L.', Sökningstid: 0,01s Förfina resultatet
  1. 1

    Industrial applications of formal methods to model, design, and analyze computer systems av Craigen, Dan 1953-, Gerhart, Susan L., Ralston, Theodore L.

    Publicerad 1995
    Signum: loading...
    Placering: loading...
    Available for University of the Philippines System via ScienceDirect. Click here to access
    Also available remotely for University of the Philippines System via ScienceDirect. Click here to access thru EZproxy
    Electronic Resource
    Förhandsvisning
    Förhandsvisning
    Förhandsvisning
    Lägg till i bokkorgen Ta bort ur bokkorgen
    Industrial applications of formal methods to model, design, and analyze computer systems
  2. 2

    Industrial applications of formal methods to model, design and analyze computer systems an international survey av Craigen, Dan 1953-

    Publicerad 1995
    Signum: loading...
    Placering: loading...
    Also available online for University of the Philippines Diliman via ScienceDirect. Click here to access
    Bok
    Förhandsvisning
    Förhandsvisning
    Förhandsvisning
    Lägg till i bokkorgen Ta bort ur bokkorgen
    Industrial applications of formal methods to model, design and analyze computer systems an international survey

Sökverktyg:

  • Skicka sökningen per e-post

Relaterade ämnen

System analysis System design Electronic books

Search Options

  • Sökhistorik
  • Avancerad sökning

Discover More

  • Bläddra i katalogen
  • Utforska kanaler

Need Help?

  • Söktips
  • Fråga biblioteket
  • Vanliga frågor

More Information

  • About Tuklas
  • Contact Us

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman