Copertina

Summary goes here

Salvato in:
Dettagli Bibliografici
Natura: Libro
Lingua:inglese
Soggetti:
Formal methods (Computer science)
Software engineering
Computer programs
Electronic Data Processing
Méthodes formelles (Informatique)
Génie logiciel
Logiciels
Informatique.
data processing.
computer science.
Softwareentwicklung
Zuverlässigkeit
Sicherheitskritisches System
Formale Methode
Systementwurf
Model Checking
Verifikation
Antwerpen <2010>
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Kongress.
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Descrizione
Riassunto:Summary goes here
Descrizione del documento:General Notes
Descrizione fisica:1 online resource (xii, 230 pages) :illustrations
ISBN:9783642158988
3642158986
1280389214
9781280389214
9786613567130
6613567132