語系
跳至 : 概要 | 書目資訊 | 主題

Leucker, Martin.

概要
作品: 0 作品在 4 項出版品 1 種語言
書目資訊
Formal methods in outer space = essays dedicated to Klaus Havelund on the occasion of his 65th birthday / by: Bartocci, Ezio.; Leucker, Martin.; Havelund, Klaus, (1955-); SpringerLink (Online service); ISoLA (Symposium) (2021 :); Falcone, Ylies. (書目-電子資源)
Theoretical aspects of computing - ICTAC 2015 = 12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings / by: Leucker, Martin.; Rueda, Camilo.; Valencia, Frank D.; SpringerLink (Online service) (書目-電子資源)
Formal methods = 25th international symposium, FM 2023, Lubeck, Germany, March 6-10, 2023 : proceedings / by: International Symposium of Formal Methods Europe (2023 :); Chechik, Marsha.; Katoen, Joost-Pieter.; Leucker, Martin.; SpringerLink (Online service) (書目-電子資源)
 
 
變更密碼
登入