Ken henson (22 resultados)
Idioma: Inglés
Editorial: CreateSpace Independent Publishing Platform, 2017
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 11,36
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition. Henson, Ken; White, Jack (ilustrador).
Idioma: Inglés
Editorial: CreateSpace Independent Publishing Platform, 2017
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 12,09
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Henson, Ken; White, Jack (ilustrador).
Editorial: Sounds Natural, Oxford, England, 1991
Librería: Persephone's Books, Gastonia, NC, Estados Unidos de AmericaPersephone's Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 6,34
Envío por EUR 4,83Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoAudiobook. Condición: Very Good. No Jacket. One audiocassette. In a cleat plastic case. "A tour around the Cotswolds to unravel the story of wool and woolen manufacture there.".
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 19,62
Envío por EUR 11,70Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 100 pages. 9.00x6.00x0.24 inches. In Stock.
Idioma: Inglés
Editorial: CreateSpace Independent Publishing Platform, 2017
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 16,41
Envío por EUR 17,55Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition. Henson, Ken; White, Jack (ilustrador).
Idioma: Inglés
Editorial: CreateSpace Independent Publishing Platform, 2017
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 16,59
Envío por EUR 17,55Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Henson, Ken; White, Jack (ilustrador).
Houpe de Ville
Young, Betsy; Templeton, Mike; Sturdevant, Robert; Flanigan, Mark; Byrd, Chuck; Byrd, Aurore; Hissett, Andrew
Idioma: Inglés
Editorial: CreateSpace Independent Publishing Platform, 2017
- Tapa blanda
- Impresión bajo demanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 14,49
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Print on Demand. Henson, Ken; White, Jack (ilustrador).
Zb 2002 : Formal Specification and Development in Z and B
International Conference of B and Z Users (2nd : 2002 : Grenoble, France); Bowen, J. P. (EDT); Henson, M. C. (EDT); Robinson, Ken (EDT); Bert, Didier (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 63,79
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 23,32
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Über den AutorMATT HART is the author of several books of poems, including Sermons and Lectures Both Blank and Relentless (Typecast Publishing, 2012), Debacle Debacle (H_NGM_N Books, 2013) and Radiant Action (forthcoming, H_NGM_N Bo. Henson, Ken (ilustrador).
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science)
Jonathan P. Bowen, Martin C. Henson, Ken Robinson, Didier Bert
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,07
Envío por EUR 18,13Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: New.
Zb 2002 : Formal Specification and Development in Z and B
International Conference of B and Z Users (2nd : 2002 : Grenoble, France); Bowen, J. P. (EDT); Henson, M. C. (EDT); Robinson, Ken (EDT); Bert, Didier (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 76,45
Envío por EUR 2,32Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Más imágenesEditorial: Forklift, Ink, Cincinnati, 2012
- Tapa blanda
- Primera edición
- Firmado
Librería: Michael Pyron, Bookseller, ABAA, Conshohocken, PA, Estados Unidos de AmericaMichael Pyron, Bookseller, ABAA
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 45,27
Envío por EUR 4,39Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoOriginal Wrappers. Condición: Near Fine binding. 12mo. 28, [4] pp. Signed by Dischell on the title page. As issued, side-stapled into illustrated covers. A bright, clean copy with limited wear. Uncommon.
Zb 2002 : Formal Specification and Development in Z and B
International Conference of B and Z Users (2nd : 2002 : Grenoble, France); Bowen, J. P. (EDT); Henson, M. C. (EDT); Robinson, Ken (EDT); Bert, Didier (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,06
Envío por EUR 17,55Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Zb 2002 : Formal Specification and Development in Z and B
International Conference of B and Z Users (2nd : 2002 : Grenoble, France); Bowen, J. P. (EDT); Henson, M. C. (EDT); Robinson, Ken (EDT); Bert, Didier (EDT)
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 67,39
Envío por EUR 17,55Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 27,52
Envío por EUR 61,09Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. Neuware - BLUE JAY SLAYER whispers and shouts at us but never tells us what to think. It is dark at times, yes, but not what you'd expect: playful sometimes, angry sometimes, reticent when necessary. It's brimming with curses and gifts. When Matt Hart declares 'The grass doesn't grow where I take you…' you know-just know-that he isn't lying. He tells us Ken Henson is not who he appears to be, 'which is correct'. Henson certainly gives us glimpses of who he may be with his illustrations of the flaming reality of the dark side but without the hellish clichés. Well, maybe there are a few, but those, of course, are intentional. Hart digs up the dead with his words and points to what we think is real, while making us question what we initially thought. BJS will take you like you could get permanently lost in that world and never come back, but you do. You come back feeling exuberant; you come back feeling absolved. Henson, Ken (ilustrador).
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,97
Envío por EUR 64,13Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23 25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con-… rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ` Reseaux within the Institut d Informatique et Mathematiques Appliquees de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner.
Idioma: Inglés
Editorial: Createspace Independent Publishing Platform, 2017
- Tapa blanda
- Impresión bajo demanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 16,62
Envío por EUR 13,64Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Henson, Ken; White, Jack (ilustrador).
- Tapa blanda
- Impresión bajo demanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 37,52
Envío por EUR 15,13Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Henson, Ken (ilustrador).
Idioma: Inglés
Editorial: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 2002, 2002
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23 25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success… of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ` Reseaux within the Institut d Informatique et Mathematiques Appliquees de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner. 552 pp. Englisch.
ZB 2002: Formal Specification and Development in Z and B
Bert, Didier|Bowen, Jonathan P.|Henson, Martin C.|Robinson, Ken
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
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. Theories, Implementations, and Transformations.- Incremental Proof of the Producer/Consumer Property for the PCI Protocol.- Controlling Control Systems: An Application of Evolving Retrenchment.- Checking Z Data Refine…ments Using an Animation Tool.- Encoding.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Theories, Implementations, and Transformations.- Incremental Proof of the Producer/Consumer Property for the PCI Protocol.- Controlling Control Systems: An Application of Evolving Retrenchment.- Checking Z Data Refinements Using an Anim…ation Tool.- Encoding Object-Z in Isabelle/HOL.- Characters + Mark-up = Z Lexis.- Extraction of Abstraction Invariants for Data Refinement.- An Approach to Combining B and Alloy.- Software Construction by Stepwise Feature Introduction.- The Semantics of Circus.- Handling Inconsistencies in Z Using Quasi-Classical Logic.- Loose Specification and Refinement in Z.- On Using Conditional Definitions in Formal Theories.- A Theory of Generalised Substitutions.- Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.- A Comparison of the BTT and TTF Test-Generation Methods.- A Formal Analysis of the CORBA Security Service.- Type Synthesis in B and the Translation of B to PVS.- 'Higher-Order' Mathematics in B.- ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries.- Generalised Substitution Language and Differentials.- Communicating B Machines.- Synchronized Parallel Composition of Event Systems in B.- Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.- Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions.- A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints.- Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 552 pp. Englisch.
Más imágenes- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. ZB 2002: Formal Specification and Development in Z and B | 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings | Didier Bert (u. a.) | Taschenbuch | xi | Englisch | 2002 | Springer | EAN 9783540431664 | Verantwortliche Person für die EU: Springer Verlag Gm…bH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
