Konferenzschrift
7th International Verification Methods Workshop : 03.-11. May 2017 in Berlin, Germany : programme and abstracts
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783881484961
- Dimensions
-
30 cm
- Extent
-
83 Seiten
- Language
-
Englisch
- Notes
-
Karten
- Bibliographic citation
-
Annalen der Meteorologie ; [Neue Folge], 51
- Classification
-
Geowissenschaften
- Event
-
Veröffentlichung
- (where)
-
Offenbach am Main
- (who)
-
Selbstverlag des Deutschen Wetterdienstes
- (when)
-
2017
- Contributor
-
International Verification Methods Workshop (7. : 2017 : Berlin)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:28 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
Associated
- International Verification Methods Workshop (7. : 2017 : Berlin)
- Selbstverlag des Deutschen Wetterdienstes
Time of origin
- 2017
Other Objects (12)
7th International Verification Methods Workshop : 03.-11. May 2017 in Berlin, Germany ; Programme and Abstracts
Verification, model checking, and abstract interpretation : 7th international conference ; proceedings
Runtime verification : 7th international workshop
Verification of abstract state machines
Computer aided verification : 7th international conference ; proceedings
Abstract state machines : verification problems and complexity
Abstract Transducers for Software Analysis and Verification
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Abstract state machines : verification problems and complexity
0311
7th International Workshop on Magnetic Particle Imaging, IWMPI 2017, March 23-24, 2017, Prague, Czech Republic : book of abstracts
Automated technology for verification and analysis : 7th international symposium ; proceedings
7th International Verification Methods Workshop : 03.-11. May 2017 in Berlin, Germany ; Programme and Abstracts
Verification, model checking, and abstract interpretation : 7th international conference ; proceedings
Runtime verification : 7th international workshop
Verification of abstract state machines
Computer aided verification : 7th international conference ; proceedings
Abstract state machines : verification problems and complexity
Abstract Transducers for Software Analysis and Verification
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Abstract state machines : verification problems and complexity
0311
7th International Workshop on Magnetic Particle Imaging, IWMPI 2017, March 23-24, 2017, Prague, Czech Republic : book of abstracts
Automated technology for verification and analysis : 7th international symposium ; proceedings
7th International Verification Methods Workshop : 03.-11. May 2017 in Berlin, Germany ; Programme and Abstracts
Verification, model checking, and abstract interpretation : 7th international conference ; proceedings
Runtime verification : 7th international workshop
Verification of abstract state machines
Computer aided verification : 7th international conference ; proceedings
Abstract state machines : verification problems and complexity
Abstract Transducers for Software Analysis and Verification
Runtime verification : 07011 abstracts collection ; Dagstuhl seminar
Abstract state machines : verification problems and complexity
0311
7th International Workshop on Magnetic Particle Imaging, IWMPI 2017, March 23-24, 2017, Prague, Czech Republic : book of abstracts