Software verification 12th international (52 risultati)

Brossura

Da: AwesomeBooks, Wallingford, Regno UnitoAwesomeBooks

Venditore con 5 stelle

Majid Zamani, Damien Zufferey

Condizione: Usato - Molto buono

EUR 9,84

EUR 4,80 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Very Good. Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings: 11652 (Lecture Notes in Computer Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping.…

Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13?14, 2019, Proceedings: 11652 (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer 01/g /03 A, 2019

Brossura

Da: Bahamut Media, Reading, Regno UnitoBahamut Media

Venditore con 5 stelle

Condizione: Usato - Molto buono

EUR 11,97

EUR 8,13 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.

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

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 52,36

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 52,36

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2016

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,89

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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)

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 60,24

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2016

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 60,24

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 60,24

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 59,86

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2016

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 61,21

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 61,60

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2024

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 69,74

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,94

EUR 13,15 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

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

Lingua: Inglese

Editore: Springer, 2016

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,94

EUR 13,15 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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)

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,94

EUR 13,15 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

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

Zamani, Majid

Lingua: Inglese

Editore: Springer 2019-08, 2019

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Roderick Bloem, Eli Arbel

Condizione: Nuovo

EUR 56,94

EUR 18,04 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: 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)

Lingua: Inglese

Editore: Springer 2016-11-01, 2016

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,17

EUR 18,04 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 59,93

EUR 17,47 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2016

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 60,14

EUR 17,47 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,93

EUR 17,47 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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)

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Books Puddle, New York, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Condizione: Nuovo

EUR 78,11

EUR 3,43 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2019

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 65,45

EUR 17,47 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 67,08

EUR 17,47 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2016

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 67,09

EUR 17,47 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2024

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 83,18

EUR 2,27 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: As New. Unread book in perfect condition.

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

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2019

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 76,43

EUR 11,65 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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

Lingua: Inglese

Editore: Springer-Nature New York Inc, 2021

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Condizione: Nuovo

EUR 78,05

EUR 11,65 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: 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, ... IV (Lecture Notes in Computer Science, 15222)

Lingua: Inglese

Editore: Springer, 2024

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Parasara Sridhar Duggirala

Condizione: Nuovo

EUR 79,37

EUR 13,15 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

Venditore con 5 stelle

Condizione: Nuovo

EUR 60,34

EUR 30,50 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).…

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

Margaria, Tiziana

Lingua: Inglese

Editore: Springer, 2024

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle