Products
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos
Current price
₹4,848
Original price
₹7,457
Original price
₹7,457
Original price
₹7,457
(-35%)
₹4,848
Current price
₹4,848
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Internationa...
View full details
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Sympos...
View full details
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Confere
Current price
₹11,575
Original price
₹11,699
Original price
₹11,699
Original price
₹11,699
(-1%)
₹11,575
Current price
₹11,575
• Author(s): Tiziana Margaria | Wang Yi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThis book constitutes the refereed proceedings of the 7th International Confe...
View full details
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso
Current price
₹5,141
Original price
₹7,909
Original price
₹7,909
Original price
₹7,909
(-35%)
₹5,141
Current price
₹5,141
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises c...
View full details
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Sy...
View full details
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22
Current price
₹4,774
Original price
₹7,344
Original price
₹7,344
Original price
₹7,344
(-35%)
₹4,774
Current price
₹4,774
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th I...
View full details
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im
Current price
₹3,672
Original price
₹5,649
Original price
₹5,649
Original price
₹5,649
(-35%)
₹3,672
Current price
₹3,672
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Sy...
View full details
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre
Current price
₹5,141
Original price
₹7,909
Original price
₹7,909
Original price
₹7,909
(-35%)
₹5,141
Current price
₹5,141
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th I...
View full details
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre
Current price
₹6,243
Original price
₹9,604
Original price
₹9,604
Original price
₹9,604
(-35%)
₹6,243
Current price
₹6,243
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th I...
View full details
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret
Current price
₹5,435
Original price
₹8,361
Original price
₹8,361
Original price
₹8,361
(-35%)
₹5,435
Current price
₹5,435
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Internationa...
View full details
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application
Current price
₹6,243
Original price
₹9,604
Original price
₹9,604
Original price
₹9,604
(-35%)
₹6,243
Current price
₹6,243
• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Sympo...
View full details
