Just published books https://www.kriso.ee Wed, 28 Oct 2020 00:00:00 GMT Wed, 28 Oct 2020 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030613624e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030613624e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030613624<br> Publisher: Springer Nature Switzerland AG<br> Format: PDF+DRM, Pub. Date: 28-Oct-2020<br> Price: 92,01 € https://www.kriso.ee/db/97830306136242e.html Wed, 28 Oct 2020 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030613624e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030613624e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030613624<br> Publisher: Springer Nature Switzerland AG<br> Format: EPUB+DRM, Pub. Date: 28-Oct-2020<br> Price: 92,01 € https://www.kriso.ee/db/97830306136246e.html Wed, 28 Oct 2020 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030614706e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030614706e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030614706<br> Publisher: Springer Nature Switzerland AG<br> Format: PDF+DRM, Pub. Date: 26-Oct-2020<br> Price: 55,56 € https://www.kriso.ee/db/97830306147062e.html Mon, 26 Oct 2020 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030614706e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030614706e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030614706<br> Publisher: Springer Nature Switzerland AG<br> Format: EPUB+DRM, Pub. Date: 26-Oct-2020<br> Price: 55,56 € https://www.kriso.ee/db/97830306147066e.html Mon, 26 Oct 2020 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030614676e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030614676e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030614676<br> Publisher: Springer Nature Switzerland AG<br> Format: PDF+DRM, Pub. Date: 26-Oct-2020<br> Price: 55,56 € https://www.kriso.ee/db/97830306146762e.html Mon, 26 Oct 2020 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030614676e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030614676e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030614676<br> Publisher: Springer Nature Switzerland AG<br> Format: EPUB+DRM, Pub. Date: 26-Oct-2020<br> Price: 55,56 € https://www.kriso.ee/db/97830306146766e.html Mon, 26 Oct 2020 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034245e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034245e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030034245<br> Publisher: Springer Nature Switzerland AG<br> Format: PDF+DRM, Pub. Date: 30-Oct-2018<br> Price: 55,56 € https://www.kriso.ee/db/97830300342452e.html Tue, 30 Oct 2018 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034245e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034245e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030034245<br> Publisher: Springer Nature Switzerland AG<br> Format: EPUB+DRM, Pub. Date: 30-Oct-2018<br> Price: 55,56 € https://www.kriso.ee/db/97830300342456e.html Tue, 30 Oct 2018 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034276e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034276e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030034276<br> Publisher: Springer Nature Switzerland AG<br> Format: PDF+DRM, Pub. Date: 29-Oct-2018<br> Price: 55,56 € https://www.kriso.ee/db/97830300342762e.html Mon, 29 Oct 2018 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034276e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034276e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030034276<br> Publisher: Springer Nature Switzerland AG<br> Format: EPUB+DRM, Pub. Date: 29-Oct-2018<br> Price: 55,56 € https://www.kriso.ee/db/97830300342766e.html Mon, 29 Oct 2018 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034214e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034214e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030034214<br> Publisher: Springer Nature Switzerland AG<br> Format: PDF+DRM, Pub. Date: 29-Oct-2018<br> Price: 55,56 € https://www.kriso.ee/db/97830300342142e.html Mon, 29 Oct 2018 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034214e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034214e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030034214<br> Publisher: Springer Nature Switzerland AG<br> Format: EPUB+DRM, Pub. Date: 29-Oct-2018<br> Price: 55,56 € https://www.kriso.ee/db/97830300342146e.html Mon, 29 Oct 2018 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034184e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034184e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030034184<br> Publisher: Springer Nature Switzerland AG<br> Format: PDF+DRM, Pub. Date: 28-Oct-2018<br> Price: 55,56 € https://www.kriso.ee/db/97830300341842e.html Sun, 28 Oct 2018 00:00:00 GMT Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034184e.html <a href="https://www.kriso.ee/leveraging-applications-formal-methods-verification-validation-db-9783030034184e.html"><img border="0" src="https://www.kriso.ee/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Tiziana Margaria, Bernhard Steffen<br>ISBN: 9783030034184<br> Publisher: Springer Nature Switzerland AG<br> Format: EPUB+DRM, Pub. Date: 28-Oct-2018<br> Price: 55,56 € https://www.kriso.ee/db/97830300341846e.html Sun, 28 Oct 2018 00:00:00 GMT Verification and Validation of Rule-Based Expert Systems https://www.kriso.ee/verification-validation-rule-based-expert-systems-db-9781351830126e.html <a href="https://www.kriso.ee/verification-validation-rule-based-expert-systems-db-9781351830126e.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978135/9781351830126.jpg" align="left" hspace="5" > </a>Suzanne Smith, Abraham Kandel<br>ISBN: 9781351830126<br> Publisher: CRC Press Inc<br> Format: EPUB+DRM, Pub. Date: 08-Oct-2018<br> Price: 214,50 € https://www.kriso.ee/db/97813518301266e.html Mon, 08 Oct 2018 00:00:00 GMT