Englische Literaturgeschichte ||
- 作者Seeber, Hans Ulrich; Berensmeyer, Ingo; Kohl, Stephan; Kreutzer, Eberhard; Maack, Annegret; Middeke, Martin; Pfister, Manfred; Schmidt, Johann N.; Zapf, Hubert; Zettelmann, Eva
- 文件大小40179.25KB
- 发表时间2012
- DOI10.1007/978-3-476-00738-4
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal MethSpringer-Verlag · 2005
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 8739 ||Albert, Elvira; Sekerinski, Emil · 2014
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 4591 ||Davies, Jim; Gibbons, Jeremy · 2007
[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 ||Rayadurgam, Sanjai; Tkachuk, Oksana · 2016
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 ||Johnsen, Einar Broch; Petre, Luigia · 2013
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on FormalSpringer-Verlag · 2006
[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design ||Aagaard, Mark D.; O’Leary, John W. · 2002
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2335 ||Butler, Michael; Petre, Luigia; Sere, Kaisa · 2002
[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 10090 ||Ribeiro, Leila; Lecomte, Thierry · 2016
[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 10090 || On Interval Dynamic LogicRibeiro, Leila; Lecomte, Thierry · 2016
[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 10090 || Algebraic Foundations for Specification RefinementsRibeiro, Leila; Lecomte, Thierry · 2016