Marcello M Bonsangue - Böcker

This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 2529, 2024. The 21 full papers presented here were carefully reviewed a...

Läs mer »

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 revi...

Läs mer »

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 ...

Läs mer »

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 valid...

Läs mer »

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 ...

Läs mer »

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 valid...

Läs mer »

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 togeth...

Läs mer »

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 togethe...

Läs mer »

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 valid...

Läs mer »

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 valid...

Läs mer »

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 valid...

Läs mer »

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...

Läs mer »

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...

Läs mer »

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 eng...

Läs mer »

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 eng...

Läs mer »

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, model...

Läs mer »

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, model...

Läs mer »

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 are...

Läs mer »

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 are...

Läs mer »

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...

Läs mer »

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 1315, 2024. The 18 full papers, 2 sho...

Läs mer »

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 pap...

Läs mer »

This book constitutes the proceedings of the First International Conference, DSAI 2023, held in Bangkok, Thailand, during November 2730, 2023. The 22 full papers and the 4 short papers included in this volume were carefully reviewed and selected f...

Läs mer »

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 f...

Läs mer »