Stirling colin (49 risultati)
- Brossura
Da: MusicMagpie, Stockport, Regno UnitoMusicMagpie
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 3,45
EUR 6,42 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: Very Good. Condizione sovraccoperta: 47000031. 1776693454. 4/20/2026 1:57:34 PM.
- Rilegato
Da: AwesomeBooks, Wallingford, Regno UnitoAwesomeBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 5,27
EUR 4,82 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Very Good. Great Drives In The Lakes And Dales This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus… far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
- Brossura
Da: Bahamut Media, Reading, Regno UnitoBahamut Media
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 3,46
EUR 8,17 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: 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.
Altre immaginiLingua: Inglese
Editore: Springer Verlag, 2001
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Rilegato
- Prima edizione
Da: avelibro OHG, Dinkelscherben, Germaniaavelibro OHG
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: BOEV
Condizione: Usato - Molto buono
EUR 15,00
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
23,5 x 17,5 cm. Condizione: 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: Engl…isch 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
Lingua: Inglese
Editore: Paul Hamlyn, London, 1968
- Rilegato
- Prima edizione
Da: Alexander's Books, Royal Leamington Spa, Regno UnitoAlexander's Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Quasi ottimo
EUR 14,46
EUR 11,70 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Near Fine. Condizione sovraccoperta: 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.
- Rilegato
Da: Greener Books, London, Regno UnitoGreener Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 4,33
EUR 23,40 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Hardcover. Condizione: 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.
- Rilegato
Da: Greener Books, London, Regno UnitoGreener Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 4,33
EUR 23,40 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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.
- Rilegato
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 28,94
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Fair. No Jacket. Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Gordon (Editor) Plotkin; Colin (Editor) Stirling; Mads (Editor) Tofte
- Rilegato
- Prima edizione
Da: Alien Bindings, BALTIMORE, MD, U.S.A.Alien Bindings
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 40,24
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: New. Condizione sovraccoperta: New. First Edition. Brand New! Electronic delivery tracking will be issued free of charge.
Lingua: Inglese
Editore: Springer, 2001
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Rilegato
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno UnitoPhatpocket Limited
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 30,80
EUR 12,45 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: Pistil Books Online, IOBA, Seattle, WA, U.S.A.Pistil Books Online, IOBA
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: IOBA
Condizione: Usato - Molto buono
EUR 40,55
EUR 5,93 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Trade Paperback. Condizione: Very Good. Book is in excellent condition with light shelf wear to covers only: scuffing, creased spine. Binding is solid and square, text/interior is clean and free of marking of any kind. 349 pages in large format, Includes floorplans, elevations, interiors, exteriors, photos in color and b&w, arch…itectural drawings, architectural details, landscape design, contour drawings. A comprehensive monograph on the British architect's buildings and projects from the 1950s through the early 1990s, covering the Leicester Engineering Building, the Neue Staatsgalerie in Stuttgart, the Clore Gallery at the Tate, and his late postmodern classical works, with drawings, photographs, and project descriptions. Keywords: Leicester Engineering, Stuttgart Gallery, Clore Gallery, Florey Building, No 1 Poultry, Cambridge History, Postmodern Classicism, British Architecture, Cornell Performing Arts, Late Modernism, Michael Wilford, Brick Rationalism 2.
Lingua: Inglese
Editore: Springer, 2013
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,25
EUR 2,32 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2013
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 57,68
EUR 2,32 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,12
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,12
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Lingua: Inglese
Editore: Springer, 2013
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,06
EUR 14,02 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer, 2013
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,04
EUR 17,55 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer 2011-10, 2011
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,57
EUR 18,13 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
Lingua: Inglese
Editore: Springer, 2011
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,22
EUR 14,02 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Lingua: Inglese
Editore: Springer, 2013
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 60,10
EUR 17,55 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer, 2011
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 78,66
EUR 3,51 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 204.
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 81,57
EUR 7,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. xiv + 722 Illus.
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 85,83
EUR 3,51 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. xiv + 722 1st Edition.
Lingua: Inglese
Editore: Taylor & Francis, 2020
Serie: Perspectives on Early America, Libro 1 di 3. Libro 1 di 3 - Perspectives on Early America
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 38,69
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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 .
Lingua: Inglese
Editore: Springer New York, 2011
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,20
EUR 11,70 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2001 edition. 202 pages. 9.25x7.01x0.46 inches. In Stock.
Altre immaginiJAMES STIRLING. OBRAS Y PROYECTOS (GUSTAVO GILI)
JAMES STIRLING, MICHAEL WILFORD Y ASOCIADOS / INTRODUCCION POR COLIN ROWE
- Rilegato
- Prima edizione
Da: Libropesía, Barcelona, B, SpagnaLibropesía
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 25,00
EUR 49,00 spedizioneSpedito da Spagna a U.S.A.Quantità: 1 disponibili
Encuadernación de tapa dura. Condizione: Excelente. Condizione sovraccoperta: Excelente. 1ª Edición.
Proof, Language, and Interaction
Tofte Mads Stirling Colin P. Plotkin Gordon Stirling Colin Plotkin Gordon
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 83,01
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. xiv + 722.
Lingua: Inglese
Editore: Taylor & Francis Ltd Sep 2020, 2020
Serie: Perspectives on Early America, Libro 1 di 3. Libro 1 di 3 - Perspectives on Early America
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,45
EUR 61,80 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 promi…nent Loyalist Jonathan Sewall.
Lingua: Inglese
Editore: Springer, 2001
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 81,96
EUR 29,25 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lingua: Inglese
Editore: Springer New York, 2011
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,97
EUR 61,98 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 sui…ted 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.
