Software verification 12th international (52 Ergebnisse)

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Christakis, Maria (EDT); Polikarpova, Nadia (EDT); Duggirala, Parasara Sridhar (EDT); Schrammel, Peter (EDT)

Zustand: Neu

EUR 52,03

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Software Verification : 12th International Conference, Vstte 2020, and 13th International Workshop, Nsv 2020, Los Angeles, Ca, USA, July 20?21, 2020, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 52,33

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software : Verification and Testing: 12th International Haifa Verification Conference, Hvc 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Sprache: Englisch

Verlag: Springer, 2016

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 58,36

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings (Theoretical Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 60,73

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer, 2016

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 60,73

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, ... Papers (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

3319119354 / 9783319119359

Zustand: Neu

EUR 60,73

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer, 2014

Softcover

Anbieter: California Books, Miami, FL, USACalifornia Books

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 60,73

Versand gratis

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Numerical Software Verification : 12th International Workshop, Nsv 2019, New York City, Ny, USA, July 13?14, 2019, Proceedings

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 60,34

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Hardware and Software : Verification and Testing: 12th International Haifa Verification Conference, Hvc 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Sprache: Englisch

Verlag: Springer, 2016

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Christakis, Maria (EDT); Polikarpova, Nadia (EDT); Duggirala, Parasara Sridhar (EDT); Schrammel, Peter (EDT)

Zustand: Gebraucht - Wie neu

EUR 61,71

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Software Verification : 12th International Conference, Vstte 2020, and 13th International Workshop, Nsv 2020, Los Angeles, Ca, USA, July 20?21, 2020, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 62,10

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,

Margaria, Tiziana

Sprache: Englisch

Verlag: Springer, 2024

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 70,87

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: New.

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, ... Papers (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,16

EUR 14,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings (Theoretical Computer Science and General Issues)

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,16

EUR 14,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings

Zamani, Majid

Sprache: Englisch

Verlag: Springer 2019-08, 2019

Softcover

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Roderick Bloem, Eli Arbel

Zustand: Neu

EUR 57,15

EUR 18,11 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

PF. Zustand: New.

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer 2016-11-01, 2016

Softcover

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

3319119354 / 9783319119359

Zustand: Neu

EUR 57,37

EUR 18,11 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

Paperback. Zustand: New.

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer, 2014

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,16

EUR 14,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer, 2016

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,16

EUR 14,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Numerical Software Verification : 12th International Workshop, Nsv 2019, New York City, Ny, USA, July 13?14, 2019, Proceedings

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 60,15

EUR 17,54 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Hardware and Software : Verification and Testing: 12th International Haifa Verification Conference, Hvc 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Sprache: Englisch

Verlag: Springer, 2016

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Christakis, Maria (EDT); Polikarpova, Nadia (EDT); Duggirala, Parasara Sridhar (EDT); Schrammel, Peter (EDT)

Zustand: Neu

EUR 60,36

EUR 17,54 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Software Verification : 12th International Conference, Vstte 2020, and 13th International Workshop, Nsv 2020, Los Angeles, Ca, USA, July 20?21, 2020, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 61,15

EUR 17,54 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20?21, 2020, . Papers (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: Books Puddle, New York, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen

Zustand: Neu

EUR 78,59

EUR 3,46 Versand

Versand innerhalb von USA

Anzahl: 4 verfügbar

Zustand: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.

Numerical Software Verification : 12th International Workshop, Nsv 2019, New York City, Ny, USA, July 13?14, 2019, Proceedings

Sprache: Englisch

Verlag: Springer, 2019

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 65,98

EUR 17,54 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Hardware and Software : Verification and Testing: 12th International Haifa Verification Conference, Hvc 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Sprache: Englisch

Verlag: Springer, 2016

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Christakis, Maria (EDT); Polikarpova, Nadia (EDT); Duggirala, Parasara Sridhar (EDT); Schrammel, Peter (EDT)

Zustand: Gebraucht - Wie neu

EUR 67,35

EUR 17,54 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Software Verification : 12th International Conference, Vstte 2020, and 13th International Workshop, Nsv 2020, Los Angeles, Ca, USA, July 20?21, 2020, Revised Selected Papers

Sprache: Englisch

Verlag: Springer, 2020

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Gebraucht - Wie neu

EUR 67,32

EUR 17,54 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: As New. Unread book in perfect condition.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,

Margaria, Tiziana

Sprache: Englisch

Verlag: Springer, 2024

Softcover

Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices

Verkäufer/-in mit 5 Sternen

Zamani, Majid (Editor)/ Zufferey, Damien (Editor)

Zustand: Gebraucht - Wie neu

EUR 83,86

EUR 2,29 Versand

Versand innerhalb von USA

Anzahl: 15 verfügbar

Zustand: As New. Unread book in perfect condition.

Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, USA, July 1314, 2019, Proceedings

Sprache: Englisch

Verlag: Springer-Verlag New York Inc, 2019

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Christakis, Maria (Editor)/ Polikarpova, Nadia (Editor)/ Duggirala, Parasara Sridhar (Editor)/ Schrammel, Peter (Editor)

Zustand: Neu

EUR 77,41

EUR 11,69 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 135 pages. 9.25x6.10x0.59 inches. In Stock.

Software Verification: 12th International Conference, Vstte 2020, and 13th International Workshop, Nsv 2020, Los Angeles, Ca, USA, July 19-21, 2020, Revised Selected Papers

Sprache: Englisch

Verlag: Springer-Nature New York Inc, 2021

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 79,02

EUR 11,69 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 239 pages. 9.25x6.10x0.55 inches. In Stock.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, Isola 2024,

Margaria, Tiziana

Sprache: Englisch

Verlag: Springer, 2024

Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 75,47

EUR 17,54 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... IV (Lecture Notes in Computer Science, 15222)

Sprache: Englisch

Verlag: Springer, 2024

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Zustand: Neu

EUR 79,66

EUR 14,00 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, . IV (Lecture Notes in Computer Science, 15222)

Sprache: Englisch

Verlag: Springer, 2024

Softcover

Anbieter: Books Puddle, New York, NY, USABooks Puddle

Verkäufer/-in mit 4 Sternen