Padawitz peter (36 resultados)

Autor

Filtrar la búsqueda

  • Libros (36)

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Cambridge University Press 1992

    0521417236 / 9780521417235

    Serie: Cambridge Tracts in Theoretical Computer Science, Libro 15 de 40. Libro 15 de 40 - Cambridge Tracts in Theoretical Computer Science

    • Tapa dura

    Librería: Midtown Scholar Bookstore, Harrisburg, PA, Estados Unidos de AmericaMidtown Scholar Bookstore

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Aceptable

    EUR 16,75

    Envío por EUR 5,17 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Hardcover. Condición: Good. Good - Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name - GOOD Standard-sized.

  • Idioma: Inglés

    Editorial: Springer-Verlag 1988

    3540194274 / 9783540194279

    • Tapa dura

    Librería: Recycle Bookstore, San Jose, CA, Estados Unidos de AmericaRecycle Bookstore

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Usado - Bueno

    EUR 20,42

    Envío por EUR 4,96 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Hardcover. Condición: Very Good. Clean ex-library copy, just sticker on bottom of spine leftover. Cover has a few tiny scuffs/specks but overall looks clean, sharp, and bright. Tight binding, pages are clean and crisp. Overall in great condition.

  • Editorial: Springer, Berlin 1988 1988

    • Tapa blanda

    Librería: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, AlemaniaAntiquariat Thomas & Reinhard

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado

    EUR 7,00

    Envío por EUR 19,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    regulär ausgesondertes Bibliotheksexemplar mit der üblichen Signatur und Stempel, keine Markierungen-Anstreichungen-Stempel im Text, kartoniert, Format groß 8°, 332 Seiten, makellos, wie neu --------- hardcover, 332 pages, Library-Ex. with usual signature and stamps, no marks and underlines, the book is in a very good condition.

  • Idioma: Inglés

    Editorial: Springer 2011

    3642738265 / 9783642738265

    • Tapa blanda

    Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 53,54

    Envío por EUR 2,28 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 15 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Cambridge University Press 2008

    0521032512 / 9780521032513

    Serie: Cambridge Tracts in Theoretical Computer Science, Libro 15 de 40. Libro 15 de 40 - Cambridge Tracts in Theoretical Computer Science

    • Tapa blanda
    • Primera edición

    Librería: Prior Books Ltd, Cheltenham, , Reino UnidoPrior Books Ltd

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 29,85

    Envío por EUR 25,50 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Paperback. Condición: Like New. First Edition. A nearly new copy with no defects, just a few hardly noticeable rubs and bumps and a 'damaged' stamp to one of the preliminary pages. Despite such this book looks and feels unread with contents that are crisp, fresh and tight. Thus a very nice book in great condition, now offered fo

  • Idioma: Inglés

    Editorial: Springer 25.08.1988. 1988

    3540194274 / 9783540194279

    • Tapa dura

    Librería: NEPO UG, Rüsselsheim am Main, , AlemaniaNEPO UG

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Excelente

    EUR 31,41

    Envío por EUR 24,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Gebundene Ausgabe. Condición: Sehr gut. 322 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969.

  • Idioma: Inglés

    Editorial: Berlin; Heidelberg; New York; London; Paris; Tokyo : Springer 1988

    3540194274 / 9783540194279

    • Tapa dura

    Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, AlemaniaRoland Antiquariat UG haftungsbeschränkt

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado

    EUR 20,00

    Envío por EUR 42,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Hardcover. 1. 322 p. Good condition. Reading pages are clean and without marks. Retired library exemplar, with the usual marking. Book shows slight signs of storage and usage. Name entry on the first page. No dust jacket. Still good copy. 9783540194279 Sprache: Englisch Gewicht in Gramm: 1000.

  • Idioma: Inglés

    Editorial: Cambridge University Press 2006

    0521032512 / 9780521032513

    Serie: Cambridge Tracts in Theoretical Computer Science, Libro 15 de 40. Libro 15 de 40 - Cambridge Tracts in Theoretical Computer Science

    • Tapa blanda

    Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 63,91

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Springer 2011

    3642738265 / 9783642738265

    • Tapa blanda

    Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 61,67

    Envío por EUR 2,28 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 15 disponibles

    Condición: As New. Unread book in perfect condition.

  • Idioma: Inglés

    Editorial: Springer 2011

    3642738265 / 9783642738265

    • Tapa blanda

    Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 60,65

    Envío por EUR 13,89 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. In.

  • Idioma: Inglés

    Editorial: Cambridge University Press 2006

    0521032512 / 9780521032513

    Serie: Cambridge Tracts in Theoretical Computer Science, Libro 15 de 40. Libro 15 de 40 - Cambridge Tracts in Theoretical Computer Science

    • Tapa blanda

    Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 60,66

    Envío por EUR 13,89 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. In.

  • Idioma: Inglés

    Editorial: Springer 2011-12 2011

    3642738265 / 9783642738265

    • Tapa blanda

    Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 57,08

    Envío por EUR 17,96 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 10 disponibles

    PF. Condición: New.

  • Idioma: Inglés

    Editorial: Springer 2011

    3642738265 / 9783642738265

    • Tapa blanda

    Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 78,45

    Envío por EUR 3,44 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. pp. 342.

  • Idioma: Inglés

    Editorial: Cambridge University Press 2008

    0521032512 / 9780521032513

    Serie: Cambridge Tracts in Theoretical Computer Science, Libro 15 de 40. Libro 15 de 40 - Cambridge Tracts in Theoretical Computer Science

    • Tapa blanda

    Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 68,97

    Envío por EUR 10,50 
    Se envía de Irlanda a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 288 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocation

  • Idioma: Inglés

    Editorial: Cambridge University Press CUP 2006

    0521032512 / 9780521032513

    Serie: Cambridge Tracts in Theoretical Computer Science, Libro 15 de 40. Libro 15 de 40 - Cambridge Tracts in Theoretical Computer Science

    • Tapa blanda

    Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 84,36

    Envío por EUR 3,44 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. pp. 288.

  • Idioma: Inglés

    Editorial: Cambridge University Press 2006

    0521032512 / 9780521032513

    Serie: Cambridge Tracts in Theoretical Computer Science, Libro 15 de 40. Libro 15 de 40 - Cambridge Tracts in Theoretical Computer Science

    • Tapa blanda

    Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 84,71

    Envío por EUR 9,05 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 288 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocation

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg 2012

    3642738265 / 9783642738265

    • Tapa blanda

    Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 80,83

    Envío por EUR 14,49 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Paperback. Condición: Brand New. reprint edition. 333 pages. 9.60x6.70x0.80 inches. In Stock.

  • Idioma: Inglés

    Editorial: Cambridge University Press 1992

    0521417236 / 9780521417235

    Serie: Cambridge Tracts in Theoretical Computer Science, Libro 15 de 40. Libro 15 de 40 - Cambridge Tracts in Theoretical Computer Science

    • Tapa dura
    • Primera edición

    Librería: Antiquariat Bernhardt, Kassel, AlemaniaAntiquariat Bernhardt

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Excelente

    EUR 52,20

    Envío por EUR 49,90 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Condición: Sehr gut. 1. Auflage.. 279 Seiten, Cambridge Tracts in Theoretical Computer Science, Band 28. Zust: Gutes Exemplar. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unse

  • Idioma: Inglés

    Editorial: Springer Berlin Heidelberg 2011

    3642738265 / 9783642738265

    • Tapa blanda

    Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 53,49

    Envío por EUR 62,94 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems. As these areas approach each other m

  • Idioma: Inglés

    Editorial: Springer Berlin 1988

    3540194274 / 9783540194279

    • Tapa dura

    Librería: Buchpark, Trebbin, , AlemaniaBuchpark

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Excelente

    EUR 31,41

    Envío por EUR 105,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Condición: Sehr gut. Zustand: Sehr gut | Seiten: 333 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

  • Idioma: Inglés

    Editorial: Cambridge University Press 2006

    0521032512 / 9780521032513

    Serie: Cambridge Tracts in Theoretical Computer Science, Libro 15 de 40. Libro 15 de 40 - Cambridge Tracts in Theoretical Computer Science

    • Tapa blanda

    Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 84,99

    Envío por EUR 62,51 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasize

  • Idioma: Inglés

    Editorial: Springer 1988

    3540194274 / 9783540194279

    • Tapa dura

    Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Usado - Bueno

    EUR 372,50

    Envío por EUR 28,98 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Hardcover. Condición: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Editorial: KLUWER ACADEMIC PUBLISHERS, * * * * * 1991

    • Tapa blanda

    Librería: L. Michael, North Hollywood, CA, Estados Unidos de AmericaL. Michael

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Usado - Excelente

    EUR 58,40

    Envío por EUR 13,15 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Soft cover. Condición: Fine. B00k: Fine/, Almost As New/, $135.43 J0URNAL of AUT0MATED REAS0NING; Vol. 7, No. 1 1991. KLUWER ACADEMIC PUBLISHERS 1991 Yellow Spine With Title In Black Letters, Medium To Small Soft Cover B00k: Fine/, Almost As New/, Slight Edge Ware From Shelf Ware, 167 Pages That Are UnOpened And UnRead. Some Of

  • Idioma: Inglés

    Editorial: Springer 2011

    3642738265 / 9783642738265

    • Tapa blanda
    • Impresión bajo demanda

    Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand

    Vendedor de 3 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 46,22

    Envío por EUR 6,80 
    Se envía de Italia a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: new. Questo è un articolo print on demand.

  • Idioma: Inglés

    Editorial: Cambridge University Press, Cambridge 2006

    0521032512 / 9780521032513

    Serie: Cambridge Tracts in Theoretical Computer Science, Libro 15 de 40. Libro 15 de 40 - Cambridge Tracts in Theoretical Computer Science

    • Tapa blanda
    • Impresión bajo demanda

    Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 63,90

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Paperback. Condición: new. Paperback. Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical inference ru

  • Idioma: Inglés

    Editorial: Cambridge Univ Pr 2006

    0521032512 / 9780521032513

    Serie: Cambridge Tracts in Theoretical Computer Science, Libro 15 de 40. Libro 15 de 40 - Cambridge Tracts in Theoretical Computer Science

    • Tapa blanda
    • Impresión bajo demanda

    Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 61,24

    Envío por EUR 11,59 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Paperback. Condición: Brand New. 285 pages. 9.61x6.46x0.71 inches. In Stock. This item is printed on demand.

  • Idioma: Inglés

    Editorial: Springer, Springer Dez 2011 2011

    3642738265 / 9783642738265

    • Tapa blanda
    • Impresión bajo demanda

    Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 53,49

    Envío por EUR 23,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems. As these areas appro

  • Idioma: Inglés

    Editorial: Cambridge University Press 2006

    0521032512 / 9780521032513

    Serie: Cambridge Tracts in Theoretical Computer Science, Libro 15 de 40. Libro 15 de 40 - Cambridge Tracts in Theoretical Computer Science

    • Tapa blanda
    • Impresión bajo demanda

    Librería: THE SAINT BOOKSTORE, Southport, , Reino UnidoTHE SAINT BOOKSTORE

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 65,07

    Envío por EUR 18,14 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad 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.

  • Idioma: Inglés

    Editorial: Springer 2011

    3642738265 / 9783642738265

    • Tapa blanda
    • Impresión bajo demanda

    Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 77,58

    Envío por EUR 7,53 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. Print on Demand pp. 342 7 Figures, 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.

  • Idioma: Inglés

    Editorial: Springer 2011

    3642738265 / 9783642738265

    • Tapa blanda
    • Impresión bajo demanda

    Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 78,34

    Envío por EUR 9,95 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 4 disponibles

    Condición: New. PRINT ON DEMAND pp. 342.