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
  • Formal methods and software en...
  • 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

Summary goes here

Saved in:
Bibliografiske detaljer
Format: Bog
Sprog:engelsk
Fag:
Formal methods (Computer science)
Software engineering
Méthodes formelles (Informatique)
Génie logiciel
computerwetenschappen
computer sciences
algoritmen
algorithms
computeranalyse
computer analysis
programmeertalen
programming languages
programmeren
programming
wiskunde
mathematics
logica
logic
computernetwerken
computer networks
software engineering
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
  • Beholdninger
  • Beskrivelse
  • Kommentar
  • Lignende værker
  • Medarbejdervisning
Vær først til at give en kommentarø!
Du skal først være logget ind

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