Schnoebelen p (8 resultados)
Systems and Software Verification: Model-Checking Techniques and Tools
Berard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.
- Tapa dura
Librería: PAPER CAVALIER UK, London, Reino UnidoPAPER CAVALIER UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 24,08
Envío por EUR 7,09Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: 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.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 16,19
Envío por EUR 18,31Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: New. Roberts, Jp (ilustrador).
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];
- Tapa dura
Librería: Affordable Collectibles, Columbia, MO, Estados Unidos de AmericaAffordable Collectibles
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 64,36
Envío por EUR 3,57Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover. Condición: 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]
- Tapa dura
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 115,04
Envío por EUR 6,21Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
hardcover. Condición: 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.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 171,09
Envío por EUR 11,07Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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.
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 171,09
Envío por EUR 13,34Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
Systems and Software Verification
B. Berard|M. Bidoit|A. Finkel|F. Laroussinie|A. Petit|L. Petrucci|P. Schnoebelen
- Tapa dura
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 128,41
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Gebunden. Condición: 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
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 127,40
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: 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.…
