Berard bidoit (18 résultats)

Couverture rigide

Vendeur : PAPER CAVALIER UK, London, Royaume-UniPAPER CAVALIER UK

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 23,98

EUR 7,06 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

Etat : very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block.

Systems and Software Verification: Model-Checking Techniques and Tools

Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.

Langue : anglais

Edité par Springer, 2010

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 93,93

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

Systems and Software Verification: Model-Checking Techniques and Tools

Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.; McKenzie, P. [Translator]

Langue : anglais

Edité par Springer, 2001

Couverture rigide

Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-UnisBennettBooksLtd

Vendeur avec une évaluation de 5 étoiles

Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)

Etat: Neuf

EUR 114,46

EUR 6,18 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

hardcover. Etat : New. In shrink wrap. Looks like an interesting title.

Systems and Software Verification : Model-Checking Techniques and Tools

Langue : anglais

Edité par Springer, 2001

Couverture rigide

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 158,68

EUR 17,65 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Systems and Software Verification: Model-Checking Techniques and Tools

Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.

Langue : anglais

Edité par Springer, 2010

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 170,35

EUR 11,03 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In English.

Systems and Software Verification: Model-Checking Techniques and Tools

Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.

Langue : anglais

Edité par Springer, 2001

Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)

Etat: Neuf

EUR 170,35

EUR 13,28 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In English.

Systems and Software Verification : Model-Checking Techniques and Tools

Langue : anglais

Edité par Springer, 2001

Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

M. Bidoit B. Berard P. McKenzie

Etat: Neuf

EUR 184,19

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Systems and Software Verification

Langue : anglais

Edité par Springer, 2010

Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

B. Berard M. Bidoit P. McKenzie

Etat: Neuf

EUR 211,85

EUR 3,55 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. pp. 208.

Systems and Software Verification

Langue : anglais

Edité par Springer, 2001

Couverture rigide

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)

Etat: Neuf

EUR 214,61

EUR 3,55 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. pp. 212.

Systems and Software Verification : Model-Checking Techniques and Tools

Langue : anglais

Edité par Springer, 2001

Couverture rigide

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit,

Etat: Occasion - Comme neuf

EUR 254,50

EUR 17,65 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Systems and Software Verification: Model-Checking Techniques and Tools

Langue : anglais

Edité par Springer, 2001

Couverture rigide

Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

Vendeur avec une évaluation de 4 étoiles

Berard, Beatrice (EDT); Bidoit, Michel (EDT); Finkel, Alain (EDT); Laroussinie, Francois (EDT); Petit, Antoine (EDT); Petrucci, Laure (EDT); Schnoebelen, Philippe (EDT); McKenzie, Pierre (EDT)

Etat: Occasion - Comme neuf

EUR 244,82

EUR 29,42 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

Hardcover. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Systems and Software Verification : Model-Checking Techniques and Tools

Langue : anglais

Edité par Springer, 2001

Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 279,12

EUR 2,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Systems and Software Verification

Langue : anglais

Edité par Springer Berlin Heidelberg, 2010

Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagnemoluna

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 127,40

EUR 48,99 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An introduction to software verificationModel checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not corr.…

Systems and Software Verification

Langue : anglais

Edité par Springer Berlin Heidelberg, 2001

Couverture rigide
impression à la demande

Vendeur : moluna, Greven, Allemagnemoluna

Vendeur avec une évaluation de 5 étoiles

Bidoit M. Berard B. McKenzie P.

Etat: Neuf

EUR 128,41

EUR 48,99 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. An introduction to software verificationModel checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not corr.…

Systems and Software Verification

Langue : anglais

Edité par Springer, 2010

Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Berard B. Bidoit M. McKenzie P.

Etat: Neuf

EUR 224,28

EUR 7,65 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. Print on Demand pp. 208 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Systems and Software Verification

Langue : anglais

Edité par Springer, 2001

Couverture rigide
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 226,60

EUR 7,65 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. Print on Demand pp. 212 Illus.

Systems and Software Verification

Bidoit M. Berard B.

Langue : anglais

Edité par Springer, 2010

Couverture souple
impression à la demande

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 222,50

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. PRINT ON DEMAND pp. 208.

Systems and Software Verification

Berard B. Bidoit M.

Langue : anglais

Edité par Springer, 2001

Couverture rigide
impression à la demande

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles