Marcello M. Bonsangue – författare
Visar alla böcker från författaren Marcello M. Bonsangue. Handla med fri frakt och snabb leverans.
30 produkter
Theoretical Aspects of Computing – ICTAC 2024
21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings
Av Chutiporn Anutariya, Marcello M. Bonsangue
Häftad, 2024
844 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25–29, 2024. The 21 full papers presented here were carefully reviewed and selected from 46 submissions. They were …
Theoretical Aspects of Computing - ICTAC 2024
21st International Colloquium, Bangkok, Thailand, November 25–29, 2024, Proceedings
Av Marcello M. Bonsangue, Chutiporn Anutariya
E-bok, 2024
1067 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25–29, 2024. The 21 full papers presented here were carefully reviewed and selected from 46 submissions. They were …
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 …
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 Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Av Marcello M. Bonsangue, Einar Broch Johnsen
Häftad, 2007
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking …
Formal Methods for Open Object-Based Distributed Systems
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Av Einar Broch Johnsen, Marcello M. Bonsangue
E-bok, 2007
755 kr
Lägg i varukorg
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 …
Formal Methods for Components and Objects
7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
Av Marcello M. Bonsangue, Eric Madelaine
Häftad, 2009
567 kr
Lägg i varukorg
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to …
Formal Methods for Components and Objects
7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
Av Eric Madelaine, Marcello M. Bonsangue
E-bok, 2009
755 kr
Lägg i varukorg
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to …
Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Av Frank S. de Boer, Marcello M. Bonsangue m. fl.
Häftad, 2011
567 kr
Lägg i varukorg
All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two decades from functional to structuralissues. Formal methods have been applied successfully to the …
Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Av Michael Leuschel, Stefan Hallerstede m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
All modern industries rely on large and complex software systems. In order toconstruct such large systems in a systematic manner, the focus of the developmentmethodologies has switched in the last two decades from functional to structuralissues. Formal methods have been applied successfully to the …
Formal Methods for Components and Objects
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Av Bernhard K. Aichernig, Frank S. de Boer m. fl.
Häftad, 2011
567 kr
Lägg i varukorg
The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engineering paradigms. Formal methods have been applied …
Formal Methods for Components and Objects
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Av Marcello M. Bonsangue, Frank S. de Boer m. fl.
E-bok, 2011
734 kr
Lägg i varukorg
The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engineering paradigms. Formal methods have been applied …
Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Av Bernhard Beckert, Ferruccio Damiani m. fl.
Häftad, 2013
567 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the …
Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Av Marcello M. Bonsangue, Frank S. de Boer m. fl.
E-bok, 2013
734 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the …
Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Av Elena Giachino, Reiner Hähnle m. fl.
Häftad, 2013
523 kr
Lägg i varukorg
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The …
Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Av Marcello M. Bonsangue, Frank S. de Boer m. fl.
E-bok, 2013
672 kr
Lägg i varukorg
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The …
Coalgebraic Methods in Computer Science
12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Häftad, 2014
529 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 …
Coalgebraic Methods in Computer Science
12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
E-bok, 2014
652 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 …
Data Science and Artificial Intelligence
Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, Proceedings
Av Chutiporn Anutariya, Marcello M. Bonsangue m. fl.
Häftad, 2024
904 kr
Lägg i varukorg
This book constitutes the proceedings of the Second refereed proceedings of the Second International Conference on Data Science and Artificial Intelligence, DSAI 2024, held in Medan, Indonesia, during November 13–15, 2024.The 18 full papers, 2 short papers and 3 invited talks were included in this …
Data Science and Artificial Intelligence
Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, Proceedings
Av Opim Salim Sitompul, Erna Budhiarti-Nababan m. fl.
E-bok, 2024
1175 kr
Lägg i varukorg
This book constitutes the proceedings of the Second refereed proceedings of the Second International Conference on Data Science and Artificial Intelligence, DSAI 2024, held in Medan, Indonesia, during November 13–15, 2024. The 18 full papers, 2 short papers and 3 invited talks were included in this …
Data Science and Artificial Intelligence
First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings
Av Chutiporn Anutariya, Marcello M. Bonsangue
Häftad, 2023
1352 kr
Lägg i varukorg
This book constitutes the proceedings of the First International Conference, DSAI 2023, held in Bangkok, Thailand, during November 27–30, 2023.The 22 full papers and the 4 short papers included in this volume were carefully reviewed and selected from 70 submissions. This volume focuses on ideas, …
Data Science and Artificial Intelligence
First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings
Av Marcello M. Bonsangue, Chutiporn Anutariya
E-bok, 2023
1838 kr
Lägg i varukorg
This book constitutes the proceedings of the First International Conference, DSAI 2023, held in Bangkok, Thailand, during November 27–30, 2023. The 22 full papers and the 4 short papers included in this volume were carefully reviewed and selected from 70 submissions. This volume focuses on ideas, …
