Omslagsbillede

Summary goes here

Saved in:
Bibliografiske detaljer
Format: Bog
Sprog:engelsk
Fag:
Formal methods (Computer science)
Méthodes formelles (Informatique)
Informatique.
Fehlertoleranz
Formale Methode
InterruptInformatik
Model Checking
Programmverifikation
Sicherheitskritisches System
Testen
Verifikation
Software
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Gramado (2009)
Kongress (2009)
Online-Publikation.
Kongress.
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Beskrivelse
Summary:Summary goes here
Emne beskrivelse:General Notes
Fysisk beskrivelse:1 online resource (x, 349 pages) :illustrations
ISBN:9783642104527
3642104525
9788364210457
8364210459