Schnoebelen p (7 risultati)
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Rilegato
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 30,08
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
Condizione: 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.
- Rilegato
Da: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 27,37
EUR 3,35 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
hardcover. Condizione: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.
- Rilegato
Da: PAPER CAVALIER UK, London, Regno UnitoPAPER CAVALIER UK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 24,42
EUR 7,19 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Condizione: 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.
Michelle Obama and the FLOTUS Effect: Platform, Presence, and Agency (Race, Representation, and American Political Institutions)
Harris, Heather E. [Editor]; Moffitt, Kimberly R. [Editor]; Blanks, Geraud [Contributor]; Cupid, Sherella [Contributor]; Doss Associate Professor of Communication Arts, Erin F. [Contributor]; Duncan, Ernestine A. W. [Contributor]; Dweik, Sarah C. [Contributor]; Berthoud, Diane Forbes [Contributor]; Little, Sharoni Denise [Contributor]; Mahdi, Tahira Chloe [Contributor]; Malnati, Elizabeth Freand [Contributor]; Miller, Khadijah O. [Contributor]; Schnoebelen, James M. [Contributor]; Stocks, Shawntay K. [Contributor]; Trotter, Stormy P. [Contributor]; Wideman, Stephanie L. [Contributor]; Williams, Leticia D. [Contributor];
- Rilegato
Da: Affordable Collectibles, Columbia, MO, U.S.A.Affordable Collectibles
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 64,38
EUR 3,57 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Hardcover. Condizione: Good. Lower spine ended bumped. Otherwise appears unused with no marks.
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]
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 115,08
EUR 6,21 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.
Systems and Software Verification
B. Berard|M. Bidoit|A. Finkel|F. Laroussinie|A. Petit|L. Petrucci|P. Schnoebelen
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 127,40
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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
B. Berard|M. Bidoit|A. Finkel|F. Laroussinie|A. Petit|L. Petrucci|P. Schnoebelen
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 128,41
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: 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.…
