Model checking software 28th (9 résultats)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 122,46
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponibles
Etat : New.
- Couverture souple
Vendeur : StainesBookhub, Weybridge, SURRE, Royaume-UniStainesBookhub
Contacter le vendeurVendeur avec une évaluation de 2 étoilesEtat: Neuf
EUR 91,69
EUR 35,77 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
Etat : New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 129,28
EUR 2,67 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 133,80
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 131,05
EUR 11,17 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.
- Couverture souple
Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 154,29
EUR 3,55 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponibles
Etat : New.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 124,85
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.…
- Couverture souple
- impression à la demande
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 116,10
EUR 5,35 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 20 disponibles
PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
- Couverture souple
- impression à la demande
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 162,56
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponibles
Etat : New. PRINT ON DEMAND.
