Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - Couverture souple
Synopsis
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Leveraging Applications of Formal Methods, Verification...
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification (Lecture Notes in Computer Science)
Edité par
Springer, 2024
ISBN 10 : 3031753798
ISBN 13 : 9783031753794
Ancien ou d'occasion
paperback
Vendeur : Books From California, Simi Valley, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
paperback. Etat : Very Good. N° de réf. du vendeur mon0003670311
Acheter D'occasion
EUR 58,85
Expédition à EUR 4,25
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur GVPVHNYZAC
Acheter neuf
EUR 70,24
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
UNKNOWN
ISBN 10 : 3031753798
ISBN 13 : 9783031753794
Neuf
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 49236526-n
Acheter neuf
EUR 79,20
Expédition à EUR 2,25
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
UNKNOWN
ISBN 10 : 3031753798
ISBN 13 : 9783031753794
Ancien ou d'occasion
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 49236526
Acheter D'occasion
EUR 86,14
Expédition à EUR 2,25
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Edité par
Springer International Publishing AG, 2024
ISBN 10 : 3031753798
ISBN 13 : 9783031753794
Neuf
PAP
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur GB-9783031753794
Acheter neuf
EUR 93,26
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
Edité par
Springer International Publishing AG, 2024
ISBN 10 : 3031753798
ISBN 13 : 9783031753794
Neuf
PAP
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur GB-9783031753794
Acheter neuf
EUR 88,02
Expédition à EUR 5,79
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
UNKNOWN
ISBN 10 : 3031753798
ISBN 13 : 9783031753794
Neuf
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 49236526-n
Acheter neuf
EUR 77,33
Expédition à EUR 17,30
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification (Paperback)
Edité par
Springer International Publishing AG, Cham, 2024
ISBN 10 : 3031753798
ISBN 13 : 9783031753794
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031753794
Acheter neuf
EUR 96,23
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, . (Lecture Notes in Computer Science, 15221)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : New. N° de réf. du vendeur 6666-GRD-9783031753794
Acheter neuf
EUR 79,28
Expédition à EUR 17,87
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification (Lecture Notes in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783031753794_new
Acheter neuf
EUR 84,05
Expédition à EUR 13,82
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles