Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Search results for “[subject: software-development-engineering-tools]”

Filters

₹
₹
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos

Tiziana Margaria

Paperback

₹4,848
₹7,457
₹7,457
₹7,457
(-35%)
₹4,848
₹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 by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Fo

Tiziana Margaria

Paperback

₹3,672
₹5,649
₹5,649
₹5,649
(-35%)
₹3,672
₹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 by Tiziana Margaria, Wang Yi

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Confere

Tiziana Margaria, Wang Yi

Paperback

₹11,575
₹11,699
₹11,699
₹11,699
(-1%)
₹11,575
₹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 by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso

Tiziana Margaria

Paperback

₹5,141
₹7,909
₹7,909
₹7,909
(-35%)
₹5,141
₹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: Engineering Principles: 9th International Symposium on Leveraging Applications by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications

Tiziana Margaria

Paperback

₹3,672
₹5,649
₹5,649
₹5,649
(-35%)
₹3,672
₹3,672

• 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
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20 by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20

Tiziana Margaria

Paperback

₹3,672
₹5,649
₹5,649
₹5,649
(-35%)
₹3,672
₹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 by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 2022, Rhodes, Greece, October 22

Tiziana Margaria

Paperback

₹4,774
₹7,344
₹7,344
₹7,344
(-35%)
₹4,774
₹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. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre

Tiziana Margaria

Paperback

₹5,141
₹7,909
₹7,909
₹7,909
(-35%)
₹5,141
₹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. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im

Tiziana Margaria

Paperback

₹3,672
₹5,649
₹5,649
₹5,649
(-35%)
₹3,672
₹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: Applications: 9th International Symposium on Leveraging Applications of Formal by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal

Tiziana Margaria

Paperback

₹3,672
₹5,649
₹5,649
₹5,649
(-35%)
₹3,672
₹3,672

• 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
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret

Tiziana Margaria

Paperback

₹5,435
₹8,361
₹8,361
₹8,361
(-35%)
₹5,435
₹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. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus

Tiziana Margaria

Paperback

₹3,672
₹5,649
₹5,649
₹5,649
(-35%)
₹3,672
₹3,672

• Author(s): Tiziana Margaria • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThe four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th Int...

View full details
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Application

Tiziana Margaria

Paperback

₹6,243
₹9,604
₹9,604
₹9,604
(-35%)
₹6,243
₹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
Home
Genres
Account
Chat