Skip to content
UPFind
  • Bogkurv: 0 emner (Fuld)
  • Sprog
    • 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
    • हिंदी
Udvidet
  • Theory and formal methods of c...
  • Citér dette
  • Email dette
  • Udskriv
  • Eksportér post
    • Export toEndNote
    • Export toMARC
    • Export toMARCXML
  • Tilføj til Bogkurv Fjern fra Bogkurv
  • Permanent link
Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop
QR Code
Preview
Preview
Preview

Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop

Bibliografiske detaljer
Corporate Authors: Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods
Andre forfattere: Hankin, Chris, Mackie, I. (Ian), Nagarajan, R. (Rajagopal)
Format: Bog
Sprog:English
Udgivet: London Imperial College Press c1995.
Fag:
Computer science > Congresses.
  • Beholdninger
  • Beskrivelse
  • Preview
  • Medarbejdervisning

Search Options

  • Søg Historie
  • Udvidet søgning

Discover More

  • Gennemse kataloget
  • Explore Channels

Need Help?

  • Søgetips
  • Spørg en bibliotekar
  • FAQ’er

More Information

  • About Tuklas
  • Contact Us

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