search result

Cover von Computer Aided Verification

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14 - 17, 2018, Proceedings
2018
Berlin, Springer
Series: Lecture notes in computer science; 10981/10982
Media group: GESAMTWERK
Volumes loading
Cover von  Part II.; Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14 - 17, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 10982
Media group: MONOGRAPHIE
Cover von Part I.; Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14 - 17, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 10981
Media group: MONOGRAPHIE
Cover von Digitaltechnik
Eine praxisnahe Einführung
Search for this author
Year: 2008
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
OPEN V 11.1.0.0