[IEEE Comput. Soc International Symposium on Principles of Software Evolution - Kanazawa, Japan (1-2 Nov 2000)] Proceedings International Symposium on Principles of Software Evolution - Using predicate temporal logic and coloured Petri nets to specifying integrity restrictions in the structural evolution of temporal active systems

The file will be sent to your email address. It may take up to 1-5 minutes before you receive it.

The file will be sent to you via the Telegram messenger. It may take up to 1-5 minutes before you receive it.

Note: Make sure you have linked your account to Z-Library Telegram bot.

The file will be sent to your Kindle account. It may take up to 1–5 minutes before you receive it.

Please note: you need to verify every book you want to send to your Kindle. Check your mailbox for the verification email from Amazon Kindle.