| ISBNS.co.in | |
  | |
| खोजा जा रहा है ... |
| 0 % | ||
Books by Martin Große-Rhode
  | | Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG) Final Report (Lecture Notes in Computer Science) द्वारा Hartmut Ehrig, Werner Damm, Wolfgang Reif, Eckehard Schnieder, Jörg Desel, Engelbert Westkämper, Martin Große-Rhode, Rg, ... Π. E-Rhode, Jã Rg Desel, Engelbert Westkã¤Mper, Jrg Desel, Deutsche Forschungsgemeinschaft, Martin GroãE-Rhode Paperback, 630 पन्ने, प्रकाशित 2004 द्वारा Springer ISBN-13: 978-3-540-23135-6, ISBN: 3-540-23135-8 "This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Softwarespezi?kation fur ¨ ingenieurwissenschaftliche Anwendungen", short Soft- Spez,oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international e ..." |
 | | Monographs in Theoretical Computer Science. an EATCS Semantic Integration of Heterogeneous Software Specifications द्वारा Martin Große-Rhode 330 पन्ने, प्रकाशित 2013 द्वारा Springer Science & Business Media ISBN-13: 978-3-662-09853-0, ISBN: 3-662-09853-9 "[CM88 M. Broy. Specification and refinement of a buffer of length one. In M. Broy, editor, Deductive Program Design, volume 152 of NATO ASI Series F: Computer and System Sciences. Springer-Verlag, Berlin, 1996. M. Broy. Compositional refinement of interactive systems. Journal of the Association for Computing Machinery, 44(6), 1997. Egon Börger and Peter H. Schmitt. A formal operational semantics for languages of type Prolog III. In ..." |
 | | Lecture Notes in Computer Science Ser. Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : Final Report 3147 by Hartmut Ehrig (2011, E-book) द्वारा Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper 630 पन्ने, प्रकाशित 2011 द्वारा Springer ISBN-13: 978-3-540-27863-4, ISBN: 3-540-27863-X "20. 21. 22. 6. Bitsch, F., Canver, E., Moik, A.: Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode. In: Schnieder, E. (Hrsg.): Forms '99 - Formale Techniken für die Eisenbahnsicherung, Fortschritt- Berichte VDI, Reihe 12, Verkehrstechnik/Fahrzeugtechnik, Nr.436, VDI Verlag GmbH, Düsseldorf (2000) S. 225-245 7. Bitsch, F., Göhner, P.: Spezifikation von Sicherheitsanforderungen mit Safety-Patter ..." |
 | | Semantic Integration of Heterogeneous Software Specifications(Reprint) (Monographs in Theoretical Computer Science. An EATCS Series) द्वारा Martin Große-Rhode, Martin GroãE-Rhode Paperback, 344 पन्ने, प्रकाशित 2010 द्वारा Springer Berlin Heidelberg ISBN-13: 978-3-642-07306-9, ISBN: 3-642-07306-9 "In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency. The integration approach introduced in this book is based on a common semantic domain of abstrac ..." |
 | | Mathematisch-strukturelle Grundlagen der Informatik(2nd Edition) द्वारा Hartmut Ehrig, Bernd Mahr, Felix Cornelius, P. Zeitz, Martin Große-Rhode, Martin Grobe-Rhode, Martin Groae-Rhode Paperback, 622 पन्ने, प्रकाशित 2013 द्वारा Springer ISBN-13: 978-3-540-41923-5, ISBN: 3-540-41923-3 "In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind. Eine Einführung in die intuitive Mengentheorie vermittelt zunächst notwendige mathematische Grundlagen. Mot ..." |
 | | Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series) द्वारा Martin Große-Rhode, Martin GroãE-Rhode, Eve Stwertka Hardcover, 330 पन्ने, प्रकाशित 2004 द्वारा Springer ISBN-13: 978-3-540-40257-2, ISBN: 3-540-40257-8 "In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency. The integration approach introduced in this book is based on a common semantic domain of abstrac ..." |
 | | Springer-Lehrbuch Ser. Mathematisch-Strukturelle Grundlagen der Informatik द्वारा F. Cornelius, Hartmut Ehrig, Bernd Mahr, P. Zeitz, Martin Große-Rhode 622 पन्ने, प्रकाशित 2013 द्वारा Springer-Verlag ISBN-13: 978-3-642-56792-6, ISBN: 3-642-56792-4 "Hartmut Ehrig, Bernd Mahr, F. Cornelius, Martin Große-Rhode, P. Zeitz. Definition 8.2.2 ... Die Kommutativität von Abb. 8.5 heißt also: cs (h, (4)) = hg (cA(1)) (81) Natürlich gilt h, (1) = k., und mit der Konvention c4 (1) = c4 besagt. Gleichung 8.1 ..." |
 | | Mathematisch-strukturelle Grundlagen der Informatik(1st Edition) द्वारा Hartmut Ehrig, Bernd Mahr, Felix Cornelius, Philip Zeitz, Martin Große-Rhode Paperback, 553 पन्ने, प्रकाशित 1998 द्वारा Springer ISBN-13: 978-3-540-63865-0, ISBN: 3-540-63865-2 "In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind. Eine Einführung in die intuitive Mengentheorie vermittelt zunächst notwendige mathematische Grundlagen. Motiviert durch das Konzept von ..." |
सभी लेखक
सभी बाइंडिंग
सभी संस्करणों
सभी वर्ष
Martin Große-Rhode
सभी बाइंडिंग
सभी संस्करणों
सभी वर्ष