Susanne Graf – författare
Visar alla böcker från författaren Susanne Graf. Handla med fri frakt och snabb leverans.
26 produkter
Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Av Tiziana Margaria, Susanne Graf m. fl.
Häftad, 2019
567 kr
Lägg i varukorg
This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the …
Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Av Kim G. Larsen, Susanne Graf m. fl.
E-bok, 2019
732 kr
Lägg i varukorg
This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the …
Real Time and Such
Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Av Susanne Graf, Paul Pettersson m. fl.
Häftad, 2024
621 kr
Lägg i varukorg
This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991, since 2000 he has been Chair in Embedded Systems at Uppsala …
Real Time and Such
Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Av Bernhard Steffen, Paul Pettersson m. fl.
E-bok, 2024
839 kr
Lägg i varukorg
This Festschrift reflects Professor Wang Yi''s contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems. Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991, since 2000 he has been Chair in Embedded Systems at …
Formal Techniques for Distributed Objects, Components, and Systems
35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Av Susanne Graf, Mahesh Viswanathan
Häftad, 2015
567 kr
Lägg i varukorg
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing …
Formal Techniques for Distributed Objects, Components, and Systems
35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Av Mahesh Viswanathan, Susanne Graf
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing …
Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Av Frank S.de Boer, Marcello Bonsangue m. fl.
Häftad, 2003
567 kr
Lägg i varukorg
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions …
Model Checking Software
11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Av Susanne Graf, Laurent Mounier
Häftad, 2004
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004. The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and …
Formal Methods for Components and Objects
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
Av Frank S. de Boer, Marcello M. Bonsangue m. fl.
Häftad, 2004
567 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further …
Model Checking Software
11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Av Laurent Mounier, Susanne Graf
E-bok, 2004
734 kr
Lägg i varukorg
Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the …
Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Av Frank S. de Boer, Marcello M. Bonsangue m. fl.
Häftad, 2005
567 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2004
755 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further …
Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2005
755 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Av Frank S. de Boer, Marcello M. Bonsangue m. fl.
Häftad, 2006
567 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2003
739 kr
Lägg i varukorg
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions …
Tools and Algorithms for the Construction and Analysis of Systems
6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
Av Michael Schwartzbach, Susanne Graf
E-bok, 2003
1502 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000. The 33 revised full papers presented together with one invited …
Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
Häftad, 2006
567 kr
Lägg i varukorg
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote …
Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
E-bok, 2006
755 kr
Lägg i varukorg
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote …
Tools and Algorithms for the Construction and Analysis of Systems
6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
Av Susanne Graf, Michael Schwartzbach
Häftad, 2000
1128 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin, Germany, in March/April 2000.The 33 revised full papers presented together with one invited …
Formal Methods for Components and Objects
5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
Av Frank S. de Boer, Marcello M. Bonsangue m. fl.
Häftad, 2007
567 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Av Marcello M. Bonsangue, Susanne Graf m. fl.
Häftad, 2008
567 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of …
Formal Methods for Components and Objects
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Av Willem-Paul de Roever, Susanne Graf m. fl.
E-bok, 2008
739 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of …
Robin vs. Camus - Ein Vergleich der Mordszenen der Romane "Accusé lève toi" und "L'étranger"
Av Ramona Dannhauer, Susanne Graf
Häftad, 2008
385 kr
Lägg i varukorg
