Verification, model checking, and abstract interpretation 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings

Verification, model checking, and abstract interpretation 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19 - 21, 2014 ; proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2014
Schriftenreihe:Lecture notes in computer science 8318 : Advanced research in computing and software science
Schlagworte:
Formale Methode
Programmanalyse
Model Checking
Programmverifikation
Abstrakte Interpretation
Konferenzschrift > 2014 > San Diego, Calif.
Online-Zugang:DE-634
DE-Aug4
DE-M347
DE-92
DE-859
DE-861
DE-91
DE-384
DE-473
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:1 Online-Ressource (XVII, 491 S.) 235 mm x 155 mm
ISBN:3642540120
9783642540134
DOI:10.1007/978-3-642-54013-4

Ähnliche Einträge