Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings (Lecture Notes in Computer Science, 11990)
Product Description
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings (Lecture Notes in Computer Science, 11990)
Technical Specifications
You might also like
Das österreichische Regierungssystem Ein Verfassungsvergleich (Nordrhein-Westfälische Akademie der Wissenschaften) (German Edition)
Die Judengesetzgebung der merowingisch-fränkischen Konzilien: 379. Sitzung am 14. Dezember 1994 in Düsseldorf (Nordrhein-Westfälische Akademie der Wissenschaften, 335) (German Edition)
Die Literaturen in der österreichischen Monarchie im 19. Jahrhundert in ihrer Sonderentwicklung: 369. Sitzung am 24. November 1993 in Düsseldorf (German Edition)
Die Polygamiefrage in der frühen Neuzeit: 311. Sitzung am 29. April 1987 in Düsseldorf (Rheinisch-Westfälische Akademie der Wissenschaften, 294) (German Edition)
Politik und Erlösung Zum Verhältnis von Glaube, Rationalität und Irrationalem in der sogenannten Theologie der Befreiung: 295. Sitzung am 10. Juli 1985 in Düsseldurf (German Edition)
Das Basler Konzil als Forschungsproblem der europäischen Geschichte: 280. Sitzung am 14. Dezember 1983 in Düsseldorf (Rheinisch-Westfälische Akademie der Wissenschaften, 274) (German Edition)
Die Merowinger und das Imperium: 250. Sitzung am 16. Juli 1980 in Düsseldorf (Rheinisch-Westfälische Akademie der Wissenschaften, 261) (German Edition)
Der Akademismus in der deutschen Musik des 19. Jahrhunderts: 209. Sitzung am 21. Januar 1976 in Düsseldorf (Rheinisch-Westfälische Akademie der Wissenschaften, 212) (German Edition)