Bicarregui (44 results)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1991
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
Original price: US$ 7.65; 10% offCurrent price: US$ 6.89
US$ 18.88 shippingShips from France to U.S.A.Quantity: 1 available
Softcover. Condition: Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Salissures sur la tranche. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. St…ains on the edge. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
Language: Spanish
Seller: Hamelyn, Madrid, M, SpainHamelyn
Contact seller5-star sellerCondition: Used - Very good
US$ 7.46
US$ 14.86 shippingShips from Spain to U.S.A.Quantity: 1 available
Condition: Bueno. : Este libro narra la vida y los viajes de Juan de la Cosa, un navegante y cartógrafo originario de Santoña, España. La obra, escrita por José Luis Gutiérrez Bicarregui, explora la nao y la carta de este personaje histórico, ofreciendo una visión detallada de sus contribuciones a la navegación y la cartografía…en el siglo XV y principios del XVI. Un estudio profundo sobre una figura clave en la historia marítima española. EAN: 9788460609728 Tipo: Libros Categoría: Historia Título: Hechos y viajes del santoñés Juan de la Cosa Autor: José Luis Gutiérrez Bicarregui Idioma: es-ES Páginas: 150.
Published by Gráf. Resma., Santoña,, 1985
- Softcover
- First Edition
Seller: Carmen Alonso Libros, Santander, S, SpainCarmen Alonso Libros
Contact seller4-star sellerCondition: Used - Very good
US$ 18.85
US$ 11.44 shippingShips from Spain to U.S.A.Quantity: 1 available
Rústica. Condition: Bueno. 1ª ed. 17x24. 198pp. 3h. Ilus. en negro. Rústica. Marca de antiguo doblez en cub. Por lo demás, buen ejemplar.
Language: Spanish
Seller: Hamelyn, Madrid, M, SpainHamelyn
Contact seller5-star sellerCondition: Used - Near fine
US$ 8.20
US$ 14.86 shippingShips from Spain to U.S.A.Quantity: 1 available
Condition: Muy bueno. : Este libro narra la vida y los viajes de Juan de la Cosa, un navegante y cartógrafo originario de Santoña, España. La obra, escrita por José Luis Gutiérrez Bicarregui, explora la nao y la carta de este personaje histórico, ofreciendo una visión detallada de sus contribuciones a la navegación y la cartogra…fía en el siglo XV y principios del XVI. Un estudio profundo sobre una figura clave en la historia marítima española. EAN: 9788460609728 Tipo: Libros Categoría: Historia Título: Hechos y viajes del santoñés Juan de la Cosa Autor: José Luis Gutiérrez Bicarregui Idioma: es-ES Páginas: 150.
- Softcover
Seller: Librería Cajón Desastre, Ponferrada, LE, SpainLibrería Cajón Desastre
Contact seller5-star sellerCondition: Used
US$ 21.21
US$ 26.31 shippingShips from Spain to U.S.A.Quantity: 1 available
Paperback. Ref. L24435. 24x17. 198 pág. Ilust. y fotos b/n. Cantabria 198 págs. Cantabria.
- Softcover
Seller: Librería Cajón Desastre, Ponferrada, LE, SpainLibrería Cajón Desastre
Contact seller5-star sellerCondition: Used
US$ 17.67
US$ 26.31 shippingShips from Spain to U.S.A.Quantity: 1 available
Paperback. Ref. F56814. 17x24. 162 pág. Fotografías en color y en b/n. Cantabria. 16-E Cantabria Sin categorizar.
More images- Softcover
Seller: West Cove UK, Wellington, United KingdomWest Cove UK
Contact seller5-star sellerCondition: Used - Very good
US$ 26.03
US$ 34.65 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Softcover. Condition: Very Good. Immediate dispatch from Somerset. Nice book in great condition. Pages in excellent condition. No notes or highlighting. See images. Fantastic book. About the book >.>.> Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in indu…stry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, security or financially critical aspects. Furthermore, in situations where a particularly high level of assurance is required, formal proof is broadly accepted as being of value. Perhaps the major benefit of formalisation is that it enables formal symbolic manip? ulation of elements of a design and hence can provide developers with a variety of analyses which facilitate the detection of faults. Proof is just one of these possible formal activities, others, such as test case generation and animation, have also been shown to be effective bug finders. Proof can be used for both validation and verifi? cation. Validation of a specification can be achieved by proving formal statements conjectured about the required behaviour.
Published by Santander, 1996
Seller: libros Roales, Santander, S, Spainlibros Roales
Contact seller5-star sellerCondition: Used - Very good
US$ 14.14
US$ 16.59 shippingShips from Spain to U.S.A.Quantity: 1 available
Rustica. Condition: Buen estado. Libro.
Language: Spanish
Published by Artes Gráficas Resma, Santander, 1985
- Softcover
Seller: E y P Libros Antiguos, Madrid, M, SpainE y P Libros Antiguos
Contact seller5-star sellerAssociation member: LIBRIS
Condition: Used - Good
US$ 23.57
US$ 30.31 shippingShips from Spain to U.S.A.Quantity: 1 available
Encuadernación de tapa blanda. Condition: Bien. Santander: Resma, 1985. Rústica. Ilstr. b/n. 24 cm. 198 pp.
Language: English
Published by Springer-Verlag, London Berlin Heidleberg New York, 1994
- Softcover
- First Edition
Seller: Webbooks, Wigtown, Wigtown, United KingdomWebbooks, Wigtown
Contact seller5-star sellerAssociation member: PBFA
Condition: Used - Near fine
US$ 24.76
US$ 40.06 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Near Fine. No Jacket. First Edition. Clean bright tight copy that appears unread. This is a heavy paperback and extra shipping will be requested if ordered from outside the UK. C00002725.
Language: Spanish
- Softcover
Seller: Libros Antuñano, Santander, S, SpainLibros Antuñano
Contact seller5-star sellerCondition: Used - Very good
US$ 11.78
US$ 34.32 shippingShips from Spain to U.S.A.Quantity: 1 available
Rústica. Condition: Bien. POR FAVOR CONSULTE NUESTRAS CONDICIONES DE VENTA Y ENVIO.
- Softcover
- Signed
Seller: Libros Tobal, Ajalvir, M, SpainLibros Tobal
Contact seller5-star sellerCondition: Used - Very good
US$ 7.74
US$ 31.46 shippingShips from Spain to U.S.A.Quantity: 1 available
Encuadernación de tapa blanda. Condition: Bien. Ayuntamiento de Santoña, 1999. Dedicatoria y firma autógrafa del autor. Historia. Arte. Turismo. Viajes. Geografía. Rastro y estela del hombre. Religion. Gentes y lugares. Paisajes urbanos. 64 páginas salpicadas con profusión de fotografías color. 20 x 15. Tapa blanda de editorial…ilustrada. Como nuevo. Libro.
- Softcover
Seller: Librería Pérez Galdós, Madrid, M, SpainLibrería Pérez Galdós
Contact seller5-star sellerCondition: Used
US$ 17.67
US$ 51.48 shippingShips from Spain to U.S.A.Quantity: 1 available
Condition: leido. 1. ed. edición. rúst. 164.
Language: Spanish
Published by santoña, 1985
- Softcover
Seller: Libros de papel, Madrid, M, SpainLibros de papel
Contact seller5-star sellerCondition: Used - Good
US$ 18.28
US$ 51.48 shippingShips from Spain to U.S.A.Quantity: 1 available
Encuadernación de tapa blanda. Condition: Bien. 198 p.ilustrado.
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 82.74
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Proof in VDM: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))
Bicarregui, Juan C.; Fitzgerald, John; Lindsay, Peter A.; Moore, Richard; Ritchie, Brian
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.87
US$ 16.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 83.40
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.74
US$ 20.69 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.92
US$ 20.69 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Seller: EL RINCÓN ESCRITO, Villanueva de las Carretas, BU, SpainEL RINCÓN ESCRITO
Contact seller5-star sellerCondition: Used
US$ 17.67
US$ 14.87 shippingShips from Spain to U.S.A.Quantity: 1 available
Edición del autor, Impr. Artes Gráficas Resma, Santander, 1985, rústica ilustrada, 24x17 cm., 198 p., ilustraciones b/n en texto, se acompaña con mapa desplegable de Cantabria pegado por antiguopropietario en hoja de respeto. Buen estado Historia local, crónicas, guías, turismo.
- Softcover
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited
Contact seller5-star sellerCondition: Used - Good
US$ 78.07
US$ 14.21 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Pencil on inside page. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions….
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 91.21
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 380.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: Used
US$ 96.57
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: Used. pp. 244.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: Used
US$ 97.66
US$ 8.68 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Used. pp. 244 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Proof in VDM: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))
Juan C. Bicarregui/ John S. Fitzgerald/ Peter A. Lindsay/ Richard Moore/ Brian Ritchie
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 92.61
US$ 16.69 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. reprint edition. 362 pages. 9.00x6.00x0.75 inches. In Stock.
Proof in VDM: A Practitioner s Guide
Juan C. Bicarregui|John Fitzgerald|Peter A. Lindsay|Richard Moore|Brian Ritchie
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 56.99
US$ 56.04 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: Used
US$ 103.91
US$ 11.38 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Used. pp. 244.
Published by Excmo. Ayuntamiento de Santoña, 1991
- Softcover
Seller: Libreria Anticuaria Camino de Santiago, León - Madrid, LE, SpainLibreria Anticuaria Camino de Santiago
Contact seller5-star sellerCondition: Used - Near fine
US$ 11.78
US$ 56.17 shippingShips from Spain to U.S.A.Quantity: 1 available
Condition: Muy Bueno. 80955 José Luis Gutiérrez Bicárregui 1991.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.21
US$ 80.08 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Proof in VDM: A Practitioner's Guide | Juan C. Bicarregui (u. a.) | Taschenbuch | Formal Approaches to Computing and Information Technology (FACIT) | xvi | Englisch | 1993 | Springer | EAN 9783540198130 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, ju…ergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 133.26
US$ 16.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
