Stirling colin (43 resultados)
- Tapa blanda
Librería: MusicMagpie, Stockport, Reino UnidoMusicMagpie
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 3,42
Envío por EUR 6,37Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very Good. Estado de la sobrecubierta: 47000031. 1776693454. 4/20/2026 1:57:34 PM.
- Tapa blanda
Librería: Bahamut Media, Reading, Reino UnidoBahamut Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 3,44
Envío por EUR 8,10Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
Más imágenesIdioma: Inglés
Editorial: Springer Verlag, 2001
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa dura
- Primera edición
Librería: avelibro OHG, Dinkelscherben, Alemaniaavelibro OHG
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: BOEV
Condición: Usado - Bueno
EUR 15,00
Envío por EUR 10,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
23,5 x 17,5 cm. Condición: Gut. 1. Auflage. XII, 190 Seiten Mit 45 Abbildungen. - Innen sehr sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Sehr gutes Bibliotheksexemplar. - Texts in Computer Science. B06-03-06C|A40 Sprache: Engli…sch Gewicht in Gramm: 550.
Jim Clark Portrait of a Great Driver
Graham Gauld; Stirling Moss; Graham Hill; Jackie Stewart; John Surtees Colin Chapman and others
Idioma: Inglés
Editorial: Paul Hamlyn, London, 1968
- Tapa dura
- Primera edición
Librería: Alexander's Books, Royal Leamington Spa, Reino UnidoAlexander's Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Muy bueno
EUR 14,35
Envío por EUR 11,61Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Near Fine. Estado de la sobrecubierta: Very Good. 1st Edition. First edition first printing octavo hardback, 204 pp Illustrated Near Fine condition in Very Good unclipped dust jacket Original owner's name and address on inside cover.Newspaper photo of Clark's gravestone loosely enclosed.
- Tapa dura
Librería: Greener Books, London, Reino UnidoGreener Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Aceptable
EUR 4,29
Envío por EUR 23,21Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Hardcover. Condición: Used; Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books.
- Tapa dura
Librería: Greener Books, London, Reino UnidoGreener Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Bueno
EUR 4,29
Envío por EUR 23,21Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Used; Very Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books.
Idioma: Inglés
Editorial: Springer, 2001
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa dura
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino UnidoPhatpocket Limited
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 31,26
Envío por EUR 12,35Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. 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.
Idioma: Inglés
Editorial: Springer, 2013
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,04
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer, 2013
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 56,60
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa dura
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de AmericaRomtrade Corp.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,65
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
- Tapa dura
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,65
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Idioma: Inglés
Editorial: Springer, 2013
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,61
Envío por EUR 13,90Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Springer, 2013
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 54,60
Envío por EUR 17,41Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer, 2011
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,72
Envío por EUR 13,90Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In English.
Idioma: Inglés
Editorial: Springer 2011-10, 2011
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,10
Envío por EUR 17,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
Idioma: Inglés
Editorial: Springer, 2013
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 59,62
Envío por EUR 17,41Se 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 dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 78,86
Envío por EUR 3,49Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used. pp. xiv + 722 1st Edition.
Idioma: Inglés
Editorial: Springer, 2011
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 79,03
Envío por EUR 3,49Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 204.
- Tapa dura
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 74,98
Envío por EUR 7,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used. pp. xiv + 722 Illus.
Proof, Language, and Interaction
Tofte Mads Stirling Colin P. Plotkin Gordon Stirling Colin Plotkin Gordon
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 75,88
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Used. pp. xiv + 722.
Idioma: Inglés
Editorial: Taylor & Francis, 2020
Serie: Perspectives on Early America, Libro 1 de 3. Libro 1 de 3 - Perspectives on Early America
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 37,04
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Colin Nicolson is Lecturer in History at the University of Stirling.Owen Dudley Edwards is an Irish historian and former Reader in Commonwealth and American History at the University of Edinburgh.Imaginary Friendship is .
Idioma: Inglés
Editorial: Springer New York, 2011
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 79,32
Envío por EUR 11,61Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 2001 edition. 202 pages. 9.25x7.01x0.46 inches. In Stock.
Más imágenesJAMES STIRLING. OBRAS Y PROYECTOS (GUSTAVO GILI)
JAMES STIRLING, MICHAEL WILFORD Y ASOCIADOS / INTRODUCCION POR COLIN ROWE
- Tapa dura
- Primera edición
Librería: Libropesía, Barcelona, B, EspañaLibropesía
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 25,00
Envío por EUR 49,00Se envía de España a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Encuadernación de tapa dura. Condición: Excelente. Estado de la sobrecubierta: Excelente. 1ª Edición.
Idioma: Inglés
Editorial: Taylor & Francis Ltd Sep 2020, 2020
Serie: Perspectives on Early America, Libro 1 de 3. Libro 1 de 3 - Perspectives on Early America
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 44,43
Envío por EUR 61,80Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. Neuware - This book is a microhistory of how friendship operated in the American Revolution. It explores the friendship of two political adversaries whose careers coincided with and were shaped by the escalating imperial crisis of 1760-75: the Patriot and future US president John Adams and the promin…ent Loyalist Jonathan Sewall.
Más imágenesIdioma: Inglés
Editorial: Springer, 2011
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,35
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Modal and Temporal Properties of Processes | Colin Stirling | Taschenbuch | Texts in Computer Science | xii | Englisch | 2011 | Springer | EAN 9781441931535 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbie…ter: preigu.
Idioma: Inglés
Editorial: Springer New York, 2011
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,97
Envío por EUR 61,98Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suit…ed for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: - process calculi for modeling concurrent systems- modal properties of systems and bisimulation equivalence presented in terms of games - temporal properties of systems- modal mu-calculus as a general purpose temporal logic- verification techniques for showing temporal properties of systems, including verification as a game; model checking in terms of game-theoretic algorithms; tablaux as unwindings of successful strategies; compositional verification, especially in the case of infinite systems.The use of games for both equivalence and model checking is conceptually clearer than other approaches and the book's well-thought-out structure and illuminating examples make this book well-suited for and advanced undergraduate or graduate level course in model checking or formal methods of verification.
Idioma: Inglés
Editorial: Springer New York, Springer New York, 2001
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,55
Envío por EUR 62,77Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for…an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: - process calculi for modeling concurrent systems- modal properties of systems and bisimulation equivalence presented in terms of games - temporal properties of systems- modal mu-calculus as a general purpose temporal logic- verification techniques for showing temporal properties of systems, including verification as a game; model checking in terms of game-theoretic algorithms; tablaux as unwindings of successful strategies; compositional verification, especially in the case of infinite systems.The use of games for both equivalence and model checking is conceptually clearer than other approaches and the book's well-thought-out structure and illuminating examples make this book well-suited for and advanced undergraduate or graduate level course in model checking or formal methods of verification.
Idioma: Inglés
Editorial: Springer, 2001
Serie: Texts in Computer Science, Libro 31 de 83. Libro 31 de 83 - Texts in Computer Science
- Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 132,69
Envío por EUR 29,02Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Idioma: Inglés
Editorial: Taylor & Francis Ltd, 2017
Serie: Longman Companions To History, Libro 8 de 16. Libro 8 de 16 - Longman Companions To History
- Tapa dura
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 245,81
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Series: Longman Companions to History (Hardcover). BIC Classification: HBG; HBWN. Category: (G) General (US: Trade). . . . Hardback. . . . .
Idioma: Inglés
Editorial: Taylor & Francis Ltd, 2017
Serie: Longman Companions To History, Libro 8 de 16. Libro 8 de 16 - Longman Companions To History
- Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 313,92
Envío por EUR 9,19Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Series: Longman Companions to History (Hardcover). BIC Classification: HBG; HBWN. Category: (G) General (US: Trade). . . . Hardback. . . . . Books ship from the US and Ireland.
