Colin stirling (46 risultati)
- Brossura
Da: MusicMagpie, Stockport, Regno UnitoMusicMagpie
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 3,42
EUR 6,36 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: Greener Books, London, Regno UnitoGreener Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 4,16
EUR 18,52 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,16
EUR 18,52 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.
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 stelleCondizione: 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,32
EUR 11,58 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. 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.
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, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,48
EUR 2,29 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, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 56,77
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,10
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, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,10
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 01.07.2001. 2001
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Rilegato
Da: NEPO UG, Rüsselsheim am Main, GermaniaNEPO UG
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 38,79
EUR 24,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Auflage: 2001. 191 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,6 x 17,9 x 1,3 cm, Gebundene Ausgabe.
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 54,50
EUR 13,88 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 54,49
EUR 17,38 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
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, Regno UnitoPhatpocket Limited
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 61,37
EUR 12,32 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.
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 60,60
EUR 13,88 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
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 56,99
EUR 17,94 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. 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: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 59,48
EUR 17,38 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, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 77,12
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 204.
Lingua: Inglese
Editore: Springer 2001
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Rilegato
Da: Books Puddle, New York, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 77,26
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. pp. xii + 191.
Lingua: Inglese
Editore: Springer 2001
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 74,24
EUR 7,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. xii + 191 Illus.
- Rilegato
Da: Books Puddle, New York, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 83,08
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. xiv + 722 1st Edition.
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 79,01
EUR 7,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. xiv + 722 Illus.
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 37,04
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 78,27
EUR 11,58 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.
Proof, Language, and Interaction
Tofte Mads Stirling Colin P. Plotkin Gordon Stirling Colin Plotkin Gordon
- Rilegato
Da: Biblios, frankfurt am main, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 79,22
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Used. pp. xiv + 722.
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, 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.
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 44,43
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 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.
Altre immaginiLingua: Inglese
Editore: Springer 2011
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,35
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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 | Anbi…eter: preigu.
Lingua: Inglese
Editore: Springer New York, Springer New York 2001
Serie: Texts in Computer Science, Libro 31 di 83. Libro 31 di 83 - Texts in Computer Science
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,55
EUR 62,77 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. 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 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.
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, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 132,43
EUR 28,96 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
