Französische Literaturgeschichte ||
- 作者Grimm, Jürgen; Hartwig, Susanne; Arend, Elisabeth; Asholt, Wolfgang; Föcking, Marc; Huß, Bernhard; Ißler, Roland; Jöckel, Sabine; Kühn, Marion; Lüsebrink, Hans-Jürgen; Mecke, Jochen; Müller, Gesine; Schlüter, Gisela; Schmitz, Sabine; Sick, Franziska; Zimmermann, Margarete
- 文件大小30529.64KB
- 发表时间2014
- DOI10.1007/978-3-476-00733-9
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