Schnoebelen p (11 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: PAPER CAVALIER UK, London, Regno UnitoPAPER CAVALIER UK
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 23,82
EUR 7,01 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
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.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 16,02
EUR 18,11 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: New. Roberts, Jp (illustratore).
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 62,47
EUR 3,47 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
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.
- Brossura
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 92,74
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
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! S…hips 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]
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 111,62
EUR 6,03 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.
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: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,64
EUR 14,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,64
EUR 14,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Systems and Software Verification
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Brossura
- Print on Demand
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 129,91
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
System and Software Verification
Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P.
- Rilegato
- Print on Demand
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 129,91
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- Altre immagini
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 count…er-examples, why a system is not corr.
- Altre immagini
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.
