2014 formal methods in computer-aided design (FMCAD 2014) : Lausanne, Switzerland, 21 - 24 October 2014

2014 formal methods in computer-aided design (FMCAD 2014) Lausanne, Switzerland, 21 - 24 October 2014

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Association for Computing Machinery Special Interest Group on Programming Languages (BerichterstatterIn), Association for Computing Machinery Special Interest Group on Software Engineering (BerichterstatterIn), IEEE Council on Electronic Design Automation (BerichterstatterIn)
Weitere Verfasser: Claessen, Koen (BerichterstatterIn), Kuncak, Viktor (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Piscataway, NJ IEEE 2014
Schlagworte:
Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Co-located with two conferences: (1) MEMOCODE 2014, the 12th ACM-IEEE International Conference on Formal Methods and Models of Codesign and (2) DIFTS 2014, Workshop on Design and Implementation of Formal Tools and Systems
Im Vorwort irrtümlich Tagungsdaten angegeben als: October 20 - 23, 2014
Beschreibung:VIII, 229 S.
graph. Darst.
ISBN:9781479975778
978-1-4799-7577-8