Leveraging Applications Of Formal Methods, Verification and Validation
by Margaria, Tiziana
Available Copies
![Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-](https://d3525k1ryd2155.cloudfront.net/h/997/266/1589266997.0.m.jpg)
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-
by Tiziana Margaria
- Condition
- New
- ISBN
- 9783030614669
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
A$94.19
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on R Item Price
A$94.19
![Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, O](https://d3525k1ryd2155.cloudfront.net/h/491/039/1591039491.0.m.jpg)
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, O
by Tiziana Margaria
- Condition
- New
- ISBN
- 9783030614690
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
A$94.19
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on R Item Price
A$94.19
![Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece,](https://d3525k1ryd2155.cloudfront.net/h/623/105/1589105623.0.m.jpg)
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece,
by Tiziana Margaria
- Condition
- New
- ISBN
- 9783030613617
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
A$151.91
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on R Item Price
A$151.91
![Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I](https://d3525k1ryd2155.cloudfront.net/h/622/564/1531564622.0.m.jpg)
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
by Tiziana Margaria
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783642340253
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
A$115.68
Show Details
Description:
Paperback / softback. New. Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. Item Price
A$115.68
![Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II](https://d3525k1ryd2155.cloudfront.net/h/979/082/1480082979.0.m.jpg)
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
by Tiziana Margaria
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783642340314
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
A$115.22
Show Details
Description:
Paperback / softback. New. Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. Item Price
A$115.22
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Pro
by Tiziana Margaria
- Condition
- New
- ISBN
- 9783030891589
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
A$123.05
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, Item Price
A$123.05
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
by Tiziana Margaria
- Condition
- New
- ISBN
- 9783642340314
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
A$94.19
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Item Price
A$94.19
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
by Tiziana Margaria
- Condition
- New
- ISBN
- 9783642340253
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
A$94.19
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Item Price
A$94.19
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
by Tiziana Margaria
- Condition
- New
- ISBN
- 9783030837228
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
A$94.19
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rh Item Price
A$94.19
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
by Tiziana Margaria
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783030891589
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
A$149.39
Show Details
Description:
Paperback / softback. New. This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. Item Price
A$149.39
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV
by Tiziana Margaria
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783030837228
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
A$113.45
Show Details
Description:
Paperback / softback. New. The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. Item Price
A$113.45
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
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
by Tiziana Margaria
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783030614669
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
A$111.74
Show Details
Description:
Paperback / softback. New. The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was held during October 20-30, 2020. Item Price
A$111.74
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
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
by Tiziana Margaria
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783030614690
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
A$113.34
Show Details
Description:
Paperback / softback. New. The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was held during October 20-30, 2020. Item Price
A$113.34
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
by Tiziana Margaria
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783319471686
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
A$115.68
Show Details
Description:
Paperback / softback. New. Item Price
A$115.68
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Leveraging Applications of Formal Methods, Verification and Validation - Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20-30, 2020, Proceedings
by Margaria, Tiziana (Editor)/ Steffen, Bernhard (Editor)
- Condition
- New
- Published
- 2021
- Binding
- Paperback
- ISBN
- 9783030837228
- Quantity Available
- 1
- Seller
-
Exeter, Devon, GBR
- Item Price
-
A$110.70
Show Details
Description:
Springer-Nature New York Inc, 2021. Paperback. New. 277 pages. 9.25x6.10x0.59 inches. Item Price
A$110.70
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Leveraging Applications of Formal Methods, Verification and Validation - Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
by Margaria, Tiziana (Editor)/ Steffen, Bernhard (Editor)
- Condition
- New
- Published
- 2018
- Binding
- Paperback
- ISBN
- 9783030034207
- Quantity Available
- 1
- Seller
-
Exeter, Devon, GBR
- Item Price
-
A$117.84
Show Details
Description:
Springer-Verlag New York Inc, 2018. Paperback. New. 512 pages. 9.25x6.10x1.22 inches. Item Price
A$117.84
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
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
by Margaria, Tiziana (Editor)/ Steffen, Bernhard (Editor)
- Condition
- New
- Published
- 2020
- Binding
- Paperback
- ISBN
- 9783030614669
- Quantity Available
- 1
- Seller
-
Exeter, Devon, GBR
- Item Price
-
A$117.67
Show Details
Description:
Springer-Nature New York Inc, 2020. Paperback. New. 490 pages. 9.25x6.10x1.18 inches. Item Price
A$117.67
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Leveraging Applications of Formal Methods, Verification and Validation - Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
by Margaria, Tiziana (Editor)/ Steffen, Bernhard (Editor)
- Condition
- New
- Published
- 2018
- Binding
- Paperback
- ISBN
- 9783030034238
- Quantity Available
- 1
- Seller
-
Exeter, Devon, GBR
- Item Price
-
A$118.34
Show Details
Description:
Springer-Verlag New York Inc, 2018. Paperback. New. 536 pages. 9.25x6.10x1.26 inches. Item Price
A$118.34
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
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, Pro
by Margaria, Tiziana (Editor)/ Steffen, Bernhard (Editor)
- Condition
- New
- Published
- 2020
- Binding
- Paperback
- ISBN
- 9783030614690
- Quantity Available
- 1
- Seller
-
Exeter, Devon, GBR
- Item Price
-
A$118.88
Show Details
Description:
Springer-Nature New York Inc, 2020. Paperback. New. 544 pages. 9.25x6.10x1.14 inches. Item Price
A$118.88
![No image available](https://d3525k1ryd2155.cloudfront.net/i/en20/no-book-image.png)
Leveraging Applications of Formal Methods, Verification and Validation - Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
by Margaria, Tiziana (Editor)/ Steffen, Bernhard (Editor)
- Condition
- New
- Published
- 2018
- Binding
- Paperback
- ISBN
- 9783030034269
- Quantity Available
- 1
- Seller
-
Exeter, Devon, GBR
- Item Price
-
A$118.55
Show Details
Description:
Springer-Verlag New York Inc, 2018. Paperback. New. 544 pages. 9.25x6.10x1.50 inches. Item Price
A$118.55